Skip to content

Update CI to use setup-gap@v3#27

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

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

Update CI to use setup-gap@v3

73e27ac
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch succeeded Jul 13, 2026 in 0s

Coverage not affected when comparing db70247...73e27ac

View this Pull Request on Codecov

Coverage not affected when comparing db70247...73e27ac

View more details on Codecov