Include event_name in CI concurrency group keys

This allows simplifying the rest of the key to just github.ref,
replacing the previous chain of fallbacks.
This commit is contained in:
vlakoff 2026-04-30 09:15:15 +02:00
parent 4f0bb03680
commit 980d5dcd1e
No known key found for this signature in database
GPG key ID: D01DA5A5B698E332
2 changed files with 2 additions and 10 deletions

View file

@ -18,11 +18,7 @@ on:
default: true
concurrency:
group: >-
${{ github.workflow }}-
${{ github.event.pull_request.number ||
(github.event_name == 'merge_group' && format('mq-{0}', github.event.merge_group.head_ref)) ||
github.ref }}
group: ${{ github.workflow }}-${{ github.event_name }}-${{ github.ref }}
cancel-in-progress: true
jobs:

View file

@ -9,11 +9,7 @@ on:
workflow_dispatch:
concurrency:
group: >-
${{ github.workflow }}-
${{ github.event.pull_request.number ||
(github.event_name == 'merge_group' && format('mq-{0}', github.event.merge_group.head_ref)) ||
github.ref }}
group: ${{ github.workflow }}-${{ github.event_name }}-${{ github.ref }}
cancel-in-progress: true
jobs: