ci: add event name to concurrency group (#5097)

In order to avoid unexpected workflow cancellations due to concurrency
configuration, add the event name to the concurrency group.`
This commit is contained in:
Marco Ferrari 2024-01-05 23:39:54 +01:00 committed by GitHub
parent cf2038d903
commit f6bc05453b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -16,7 +16,7 @@ jobs:
permissions: permissions:
contents: read contents: read
concurrency: concurrency:
group: ${{ github.workflow }}-${{ github.ref }}-${{ matrix.images.target }} group: ${{ github.workflow }}-${{ github.ref }}-{{ github.event_name }}-${{ matrix.images.target }}
cancel-in-progress: true cancel-in-progress: true
strategy: strategy:
fail-fast: false fail-fast: false