From 492e1f66f721f43a33518bc2822d8737da12c80b Mon Sep 17 00:00:00 2001 From: Samuel K Date: Sun, 31 May 2026 11:34:42 -0500 Subject: [PATCH] ci: bypass concurrency for non-PR runs Make main pushes and workflow_dispatch runs use a unique concurrency group keyed by run_id so they never queue or cancel each other. PR runs still group by head_ref with cancel-in-progress enabled. --- .github/workflows/pr-ci.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/pr-ci.yml b/.github/workflows/pr-ci.yml index 1b1e3f705..c78e8e24e 100644 --- a/.github/workflows/pr-ci.yml +++ b/.github/workflows/pr-ci.yml @@ -7,10 +7,10 @@ on: pull_request: # Cancel in-flight runs for the same PR when a new commit is pushed. -# main-branch pushes are not cancelled — each commit on main should -# run independently so historical results remain bisection-friendly. +# Non-PR events (main pushes, workflow_dispatch) get a unique group per +# run so they bypass concurrency entirely and run independently. concurrency: - group: ${{ github.workflow }}-${{ github.head_ref || github.ref }} + group: ${{ github.workflow }}-${{ github.event_name == 'pull_request' && github.head_ref || github.run_id }} cancel-in-progress: ${{ github.event_name == 'pull_request' }} jobs: