Repository navigation
ci: cancel superseded pull request runs - #237
Conversation
A newer push to a PR left the older run holding a runner until it finished; the org shares a 60-job hosted-runner cap. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
|
No actionable comments were generated in the recent review. WalkthroughThe PR workflow now groups runs by pull request number, or by Git ref when a pull request number is unavailable. A new run cancels an in-progress run in the same group. Merge Risk:
|
There was a problem hiding this comment.
✅ No new issues found.
Reviewed changes
Reviewed the single workflow change in .github/workflows/pr.yml.
- PR-scoped concurrency group: adds a top-level
concurrencyblock withgroup: pr-${{ github.event.pull_request.number || github.ref }}andcancel-in-progress: true, so a new push cancels the superseded run'scheckandtoolchainjobs. The workflow only triggers onpull_request, so each PR gets its own group and other PRs are unaffected.
claude-sonnet-5-5 | 𝕏

Problem
A newer push to a PR leaves the older
prrun holding runners until it finishes, and the org shares a 60-job hosted-runner cap.Approach
Give
pr.ymla top-level concurrency group per PR withcancel-in-progress: true, so a new push cancels both jobs of the superseded run.Impact
No public API or wire impact. Only runs of the same PR cancel each other.
Validation
pr.yml: clean. zizmor: no new findings.just check: passes.Models
Size: XS
Implementer: Claude Code, claude-opus-5-5, high effort
(Written by Claude Opus 5.5 with high)
🤖 Generated with Claude Code
Review
Rewritten by
quest reviewafter each round.01a1d21b-2ee3-75b3-adaf-fc0320e307cb, round 1The change correctly scopes concurrency to each PR and cancels superseded runs without affecting other PRs; no actionable issues were found.