Skip to content

Improve: cancel superseded check runs on a pull request - #576

Merged
SandObserver merged 3 commits into
mainfrom
chore/cancel-superseded-pr-runs
Oct 27, 2026
Merged

SandObserver merged 3 commits into
mainfrom
chore/cancel-superseded-pr-runs

Conversation

@SandObserver

Copy link
Copy Markdown
Owner

Summary

  • Add a concurrency group to Tests, End-to-end and CodeQL keyed by pull request number, with cancel-in-progress, so a new push cancels the superseded run.
  • Runs outside a pull request, including the release's call into End-to-end, are keyed by run ID and never cancel each other.
  • Add a workflow hardening test for the three groups.

Testing
All green. Added a test for the concurrency groups.

Changelog

Checklist

  • Stays within the project constraints: one container, no runtime dependencies, no build step (see CONTRIBUTING.md).
  • Tests added or updated for new logic, and the full suite, lint, and typechecks pass.
  • Docs updated if behavior or configuration changed.

@SandObserver SandObserver added the github_actions Pull requests that update GitHub Actions code label Oct 27, 2026
@SandObserver
SandObserver merged commit f11b1b3 into main Oct 27, 2026
6 checks passed
@SandObserver
SandObserver deleted the chore/cancel-superseded-pr-runs branch October 27, 2026 04:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

github_actions Pull requests that update GitHub Actions code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant