Skip to content

Adjust CI to only test in GAP >= 4.12#25

Merged
margollo merged 1 commit intomasterfrom
mh/ci
Sep 14, 2025
Merged

Adjust CI to only test in GAP >= 4.12#25
margollo merged 1 commit intomasterfrom
mh/ci

Commits

Commits on Sep 13, 2025