From 007e0131ac5739e06bb450a30edfc81ebd8914bf Mon Sep 17 00:00:00 2001
From: Moritz-Alexander-Kern <moritz.kern@ymail.com>
Date: Mon, 13 Nov 2023 10:38:34 +0100
Subject: [PATCH] Cancel previous workflows on the same pull request

---
 .github/workflows/CI.yml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
index 5f1517744..7811d8e09 100644
--- a/.github/workflows/CI.yml
+++ b/.github/workflows/CI.yml
@@ -42,6 +42,11 @@ on:
     branches:
       - master
 
+# Cancel previous workflows on the same pull request
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 # jobs define the steps that will be executed on the runner
 jobs: