ci: fix concurrency group for push and schedule triggers

github.head_ref is empty for push and schedule events, so all those
runs shared the same concurrency group and cancelled each other. Fall
back to github.run_id to give each non-PR run a unique group.

Assisted-by: Claude:claude-opus-4-6
Signed-off-by: Ihor Solodrai <ihor.solodrai@linux.dev>
This commit is contained in:
Ihor Solodrai
2026-03-11 17:14:43 -07:00
committed by Andrii Nakryiko
parent ac0952761f
commit eca706a5e1
2 changed files with 2 additions and 2 deletions

View File

@@ -7,7 +7,7 @@ on:
- cron: '0 18 * * *'
concurrency:
group: ci-build-${{ github.head_ref }}
group: ci-build-${{ github.head_ref || github.run_id }}
cancel-in-progress: true
jobs:

View File

@@ -7,7 +7,7 @@ on:
- cron: '0 18 * * *'
concurrency:
group: ci-test-${{ github.head_ref }}
group: ci-test-${{ github.head_ref || github.run_id }}
cancel-in-progress: true
jobs: