Fix an error in the directory installation (/usr/local) #12

Triggered via push March 11, 2025 19:22

gvanuxem

master

Status Success

Total duration 18m 58s

Artifacts 1

linuxJulia_ccl.yml

on: push

Produced during runtime

Name	Size	Digest
jlFriCAS-linux-x86_64-binary	38 MB	`sha256:17f66e4b85da0cb01877edae2ac687d752975e5e83797b5a3d9471fda48340ae`