Skip to content

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

Merged
cdwensley merged 2 commits into
masterfrom
codex/update-ci
Jul 13, 2026
Merged

Update CI to use setup-gap@v3#95
cdwensley merged 2 commits into
masterfrom
codex/update-ci

Update minimal GAP version to 4.12

cb2b400
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar