Repository navigation

Update CI to use setup-gap@v3 - #56

Merged

fingolfin merged 3 commits into

codex/update-ci

Jul 11, 2026

Merged

Update CI to use setup-gap@v3#56
fingolfin merged 3 commits into
masterfrom
codex/update-ci

Commits on Jul 10, 2026
- Update CI to use setup-gap@v3
  fingolfin
  committed
  7741488
Commits on Jul 11, 2026
- simplify
  fingolfin
  committed
  3736b9a
- require GAP 4.13
  fingolfin
  committed
  0c4d3da