From 91c349114806eb8dfc9ada5770ec901ca1336eed Mon Sep 17 00:00:00 2001
From: Konstantinos <konstantinos.kitsios@uzh.ch>
Date: Thu, 10 Jul 2025 11:33:23 +0200
Subject: [PATCH] ci: cancel CI workflow that becomes obsolete after a new
 commit is pushed in an open PR

Signed-off-by: Konstantinos <konstantinos.kitsios@uzh.ch>
---
 .github/workflows/pr-check.yaml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/pr-check.yaml b/.github/workflows/pr-check.yaml
index 1e489c15..b5ac9d19 100644
--- a/.github/workflows/pr-check.yaml
+++ b/.github/workflows/pr-check.yaml
@@ -13,6 +13,10 @@ on:
       - '**.md'
       - '**.MD'
 
+# If two events are triggered within a short time in the same PR, cancel the run of the oldest event
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number }}
+  cancel-in-progress: true
 
 jobs:
   validate-pr: