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

Merged

fingolfin merged 1 commit intomasterfrom mh/CI

Mar 23, 2024

+7-3

Commits on Mar 23, 2024

CI: test with GAP 4.13; test with mininimal set of packages loaded
fingolfin
committed