Skip to content

ci: don't let a push cancel a release-qualification dispatch - #466

Merged
abrichr merged 1 commit into
mainfrom
claude/ci-dispatch-concurrency
Sep 4, 2026
Merged

ci: don't let a push cancel a release-qualification dispatch#466
abrichr merged 1 commit into
mainfrom
claude/ci-dispatch-concurrency

Conversation

@abrichr

@abrichr abrichr commented Sep 4, 2026

Copy link
Copy Markdown
Member

scripts/check_release_ci.py requires the latest exact-SHA workflow_dispatch run of ci.yml to conclude success. The concurrency group was ci-${{ github.workflow }}-${{ github.ref }}, so any push to main cancelled that dispatched run.

The matrix takes about 50 minutes. Merges to main have been landing every 30. Release 1.35.0 has now failed to qualify twice for this reason: run 33815444477 at 2c89b27b, and run 33816838747 at 491fc79e, which was cancelled at 50 minutes by the merge of 39e68954.

Adding github.event_name to the group separates dispatched runs from pushes. A push still cancels a superseded push, and a second dispatch still cancels the first, so nothing runs twice to completion.

public-artifacts.json is regenerated in the same commit with python scripts/check_release_consistency.py --write-public-artifact-inventory; the only change is the ci.yml digest. tests/test_ci_workflow_contract.py passes.

Opened by an agent session, not the founder.

🤖 Generated with Claude Code

The concurrency group keyed on workflow and ref only, so an ordinary push to
main cancelled the workflow_dispatch run the release gate reads. That matrix
takes about 50 minutes and merges to main land every 30, so qualifying main
was a race the release could not win: 1.35.0 has now lost it twice, once at
50 minutes.

Including github.event_name separates the two. Pushes still cancel pushes,
and a second dispatch still cancels the first.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
@abrichr
abrichr merged commit 6d1f80a into main Sep 4, 2026
16 checks passed
@abrichr
abrichr deleted the claude/ci-dispatch-concurrency branch September 4, 2026 00:34
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