Fix an error in the directory installation (/usr/local) · gvanuxem/jlfricas@62a1600

Triggered via push March 11, 2025 19:22

gvanuxem

master

Status Success

Total duration 7m 56s

Artifacts 2

linux.yml

on: push

Matrix: build

Produced during runtime

Name	Size	Digest
FriCAS-linux-arm64-binary	29.3 MB	`sha256:e8cd9f1ebbbbb8b3cbc12391d8d3d7fdc3d2d562bf1309d072f7f87d4c2e416e`
FriCAS-linux-x86-64-binary	29.9 MB	`sha256:e9782fe0424b54a6c8d6a1866ed06d6ae5f2233d443d8c42bff9dc2481acfec5`