From f6bc05453b52ede508329338bbfe785bd5d91913 Mon Sep 17 00:00:00 2001
From: Marco Ferrari <ferrari.marco@gmail.com>
Date: Fri, 5 Jan 2024 23:39:54 +0100
Subject: [PATCH] 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.`
---
 .github/workflows/ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index c53cb3c6..bc88d801 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -16,7 +16,7 @@ jobs:
     permissions:
         contents: read
     concurrency:
-      group: ${{ github.workflow }}-${{ github.ref }}-${{ matrix.images.target }}
+      group: ${{ github.workflow }}-${{ github.ref }}-{{ github.event_name }}-${{ matrix.images.target }}
       cancel-in-progress: true
     strategy:
       fail-fast: false