Skip to content

Use gap's --packagedirs instead of symlinking in gaproot #932

Use gap's --packagedirs instead of symlinking in gaproot

Use gap's --packagedirs instead of symlinking in gaproot #932

Annotations

1 error and 1 warning

matching: [Oscar#master] - ubuntu-latest, julia ~1.10.0-0

succeeded Jan 4, 2025 in 1m 22s