Skip to content

ci: cancel in-progress runs for same PR/branch#442

Merged
quaquel merged 5 commits intomasterfrom
ci_concurrency
Mar 5, 2026
Merged

ci: cancel in-progress runs for same PR/branch#442
quaquel merged 5 commits intomasterfrom
ci_concurrency

Conversation

@EwoutH
Copy link
Copy Markdown
Collaborator

@EwoutH EwoutH commented Dec 28, 2025

Add a concurrency group to the GitHub Actions workflow so repeated pushes don’t pile up duplicate CI work. Runs are grouped by PR number when available (or by ref for non-PR events), and any in-progress run is automatically canceled when a newer one starts, saving CI time.

Add a concurrency group to the GitHub Actions workflow so repeated pushes don’t pile up duplicate CI work. Runs are grouped by PR number when available (or by ref for non-PR events), and any in-progress run is automatically canceled when a newer one starts, saving CI time.
@EwoutH EwoutH added the ci label Dec 28, 2025
@EwoutH
Copy link
Copy Markdown
Collaborator Author

EwoutH commented Dec 28, 2025

This might need to be merged to main before it takes effect.

@coveralls
Copy link
Copy Markdown

coveralls commented Dec 28, 2025

Coverage Status

coverage: 92.671%. remained the same
when pulling 6cf9fd1 on ci_concurrency
into e778b80 on master.

@quaquel quaquel marked this pull request as ready for review March 5, 2026 09:50
@quaquel quaquel merged commit 26fdc16 into master Mar 5, 2026
28 checks passed
@quaquel quaquel deleted the ci_concurrency branch March 5, 2026 09:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants