ci: fix workflow_dispatch concurrency collisions (head_ref || run_id)

head_ref is empty on workflow_dispatch, so every manual dispatch of these
four workflows shared one empty-suffix group and cancelled each other.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
This commit is contained in:
Garry Tan 2026-08-15 07:52:16 -07:00
parent 3b2fcb2b9a
commit f4b2a7fb56
No known key found for this signature in database
GPG Key ID: C1F69E85C74EFE1D
4 changed files with 4 additions and 4 deletions

View File

@ -5,7 +5,7 @@ on:
workflow_dispatch:
concurrency:
group: evals-${{ github.head_ref }}
group: evals-${{ github.head_ref || github.run_id }}
cancel-in-progress: true
env:

View File

@ -16,7 +16,7 @@ on:
workflow_dispatch:
concurrency:
group: make-pdf-gate-${{ github.head_ref }}
group: make-pdf-gate-${{ github.head_ref || github.run_id }}
cancel-in-progress: true
jobs:

View File

@ -28,7 +28,7 @@ on:
workflow_dispatch:
concurrency:
group: windows-free-${{ github.head_ref }}
group: windows-free-${{ github.head_ref || github.run_id }}
cancel-in-progress: true
jobs:

View File

@ -26,7 +26,7 @@ on:
workflow_dispatch:
concurrency:
group: windows-setup-e2e-${{ github.head_ref }}
group: windows-setup-e2e-${{ github.head_ref || github.run_id }}
cancel-in-progress: true
jobs: