From 071d6650c1935edc826b3abe3e06d65d1a02af70 Mon Sep 17 00:00:00 2001
From: Robin Linden <dev@robinlinden.eu>
Date: Thu, 10 Apr 2025 22:20:09 +0200
Subject: [PATCH] Cancel ongoing CI runs for the current branch if needed

---
 .github/workflows/ci.yaml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index 3c1db80..33b2984 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -87,3 +87,7 @@ jobs:
 
       - run: (cd build && ctest -C Debug )
         if: startsWith(matrix.os, 'windows')
+
+concurrency:
+  group: ${{ github.head_ref || github.run_id }}
+  cancel-in-progress: true