Skip to content

ci: cancel superseded PR runs (concurrency groups)#182

Merged
reuvenharrison merged 1 commit into
mainfrom
ci/add-concurrency
Jun 27, 2026
Merged

ci: cancel superseded PR runs (concurrency groups)#182
reuvenharrison merged 1 commit into
mainfrom
ci/add-concurrency

Conversation

@reuvenharrison

Copy link
Copy Markdown
Contributor

Adds a concurrency group to all seven test-* workflows so a new push to a PR branch cancels the in-progress run for that ref instead of running both. Scoped to pull_request via cancel-in-progress: ${{ github.event_name == 'pull_request' }}, so main post-merge runs always finish. Frees runner slots and speeds feedback; no change to what is tested. (Public repo, so this is hygiene/latency rather than billed minutes.)

A new push to a PR branch now cancels the in-progress run for that ref across the
seven test-* workflows (pull_request events only; main pushes always finish).
Frees runner slots and speeds feedback.
@reuvenharrison reuvenharrison merged commit 71ca04c into main Jun 27, 2026
31 checks passed
@reuvenharrison reuvenharrison deleted the ci/add-concurrency branch June 27, 2026 07:25
Sign up for free to 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