Skip to content

ci: add concurrency group to cancel superseded runs#91

Merged
chorrell merged 1 commit into
mainfrom
ci/add-concurrency-group
May 26, 2026
Merged

ci: add concurrency group to cancel superseded runs#91
chorrell merged 1 commit into
mainfrom
ci/add-concurrency-group

Conversation

@chorrell
Copy link
Copy Markdown
Owner

Adds a workflow-level concurrency group so that pushing a second commit to a PR cancels the previous run. Pushes to main are never cancelled (releases should always complete).

  • PR runs: cancel-in-progress: true
  • main pushes: cancel-in-progress: false

@chorrell chorrell merged commit 58f4ddc into main May 26, 2026
2 checks passed
@chorrell chorrell deleted the ci/add-concurrency-group branch May 26, 2026 03:55
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