Skip to content

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

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

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

Update CI to use setup-gap@v3

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

Coverage not affected when comparing ee5f3a5...5635433

View this Pull Request on Codecov

Coverage not affected when comparing ee5f3a5...5635433

View more details on Codecov