Skip to content
CI

fix GAPDoc syntax for the manual in doc/dev (#5825) #5786

Sign in to view logs

fix GAPDoc syntax for the manual in doc/dev (#5825)

fix GAPDoc syntax for the manual in doc/dev (#5825) #5786

testbuildsys testmockpkg testinstall - NO_COVERAGE=1 ABI=32 BUILDDIR=out-of-tree CONFIGFLAGS="" - ubuntu-20.04

testbuildsys testmockpkg testinstall - NO_COVERAGE=1 ABI=32 BUILDDIR=out-of-tree CONFIGFLAGS="" - ubuntu-20.04
succeeded Oct 24, 2024 in 4m 27s