Skip to content

Use gap's --packagedirs instead of symlinking in gaproot (#1095) #125

Use gap's --packagedirs instead of symlinking in gaproot (#1095)

Use gap's --packagedirs instead of symlinking in gaproot (#1095) #125

Triggered via push January 28, 2025 14:06
Status Success
Total duration 35m 3s
Artifacts

CI-distro.yml

on: push
generate-matrix
53s
generate-matrix
Matrix: test
Fit to window
Zoom out
Zoom in