Skip to content
CI

fix GAPDoc syntax for the manual in doc/dev #5781

Sign in to view logs

fix GAPDoc syntax for the manual in doc/dev

fix GAPDoc syntax for the manual in doc/dev #5781

testbuildsys testmockpkg testinstall - NO_COVERAGE=1 ABI=64 BUILDDIR=out-of-tree CONFIGFLAGS="--enable-valgrind" - ubuntu-latest

testbuildsys testmockpkg testinstall - NO_COVERAGE=1 ABI=64 BUILDDIR=out-of-tree CONFIGFLAGS="--enable-valgrind" - ubuntu-latest
succeeded Oct 24, 2024 in 4m 24s