Skip to content
CI

Update CHANGES.md for GAP 4.15.0-beta2 #6881

Sign in to view logs

Update CHANGES.md for GAP 4.15.0-beta2

Update CHANGES.md for GAP 4.15.0-beta2 #6881

makemanuals testmakeinstall - CONFIGFLAGS="--prefix=/tmp/gapprefix" NO_COVERAGE=1 - ubuntu-latest

makemanuals testmakeinstall - CONFIGFLAGS="--prefix=/tmp/gapprefix" NO_COVERAGE=1 - ubuntu-latest
succeeded Sep 12, 2025 in 8m 13s