Skip to content
CI

Add command line option --packagedirs and GAP function ExtendPackageDirectories() to make it easier to use custom packages #5998

Sign in to view logs

Add command line option --packagedirs and GAP function ExtendPackageDirectories() to make it easier to use custom packages

Add command line option --packagedirs and GAP function ExtendPackageDirectories() to make it easier to use custom packages #5998

Annotations

2 errors

testbugfix - CONFIGFLAGS="--enable-memory-checking" - ubuntu-latest

testbugfix - CONFIGFLAGS="--enable-memory-checking" - ubuntu-latest
cancelled Dec 20, 2024 in 17m 36s