Skip to content

ci: key the concurrency group on the pull request or branch - #3

Merged
Vonng merged 1 commit into
mainfrom
ci/concurrency-group-per-ref
Aug 30, 2026
Merged

ci: key the concurrency group on the pull request or branch#3
Vonng merged 1 commit into
mainfrom
ci/concurrency-group-per-ref

Conversation

@Vonng

@Vonng Vonng commented Aug 30, 2026

Copy link
Copy Markdown
Member

github.head_ref is only set on pull_request events. On push and workflow_dispatch it is empty, so every such run shared one group per workflow and cancel-in-progress made each cancel the last — two pushes to main in quick succession, or a manual run alongside a push, could leave main with no completed CI.

This was harmless while the fork's automatic triggers were off and every run was a manual dispatch. Now that push and pull_request triggers are enabled, it bites.

Key on the pull request number with a branch fallback, matching silo-console's pattern.

This PR doubles as a check that the newly enabled automatic triggers fire.

github.head_ref is only set on pull_request events. On push and
workflow_dispatch it is empty, so every such run shared one group per
workflow and cancel-in-progress made each cancel the last -- two pushes to
main in quick succession, or a manual run alongside a push, could leave main
with no completed CI.

Key on the pull request number with a branch fallback, matching silo-console.

Signed-off-by: Feng Ruohang <rh@vonng.com>
@Vonng
Vonng merged commit 08b784d into main Aug 30, 2026
4 checks passed
@Vonng
Vonng deleted the ci/concurrency-group-per-ref branch September 1, 2026 09:57
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