Skip to content

CI: test with GAP 4.13; test with mininimal set of packages loaded#68

Merged
fingolfin merged 2 commits intomasterfrom mh/CIMar 23, 2024

Commits

Commits on Mar 23, 2024