Skip to content

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

Merged
fingolfin merged 1 commit into
masterfrom
codex/update-ci
Jul 12, 2026
Merged

Update CI to use setup-gap@v3#38
fingolfin merged 1 commit into
masterfrom
codex/update-ci

Update CI to use setup-gap@v3

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

Coverage not affected when comparing 6a009de...d4c1ece

View this Pull Request on Codecov

Coverage not affected when comparing 6a009de...d4c1ece

View more details on Codecov