Skip to content

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

Merged
fingolfin merged 2 commits into
masterfrom
codex/update-ci
Jul 11, 2026
Merged

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

simplify

431a1d4
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch succeeded Jul 11, 2026 in 1s

Coverage not affected when comparing 33757ff...431a1d4

View this Pull Request on Codecov

Coverage not affected when comparing 33757ff...431a1d4

View more details on Codecov