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

Conversation

@fingolfin

Copy link
Copy Markdown
Member

Update the CI workflow to use current gap-actions releases, migrate legacy inputs, and standardize the GAP version matrix.

@codecov

codecovBot commented Jul 29, 2026

Copy link
Copy Markdown

Welcome to Codecov 🎉

Once you merge this PR into your default branch, you're all set! Codecov will compare coverage reports and display results in all future pull requests.

Thanks for integrating Codecov - We've got you covered ☂️

@fingolfin
fingolfin merged commit 3a1a010 into masterJul 31, 2026
5 checks passed
@fingolfin
fingolfin deleted the codex/update-ci branch July 31, 2026 18:49
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant

@fingolfin