From c1eb2e90743c85a83032f9073995f83d9bf04f14 Mon Sep 17 00:00:00 2001
From: Fabian Koller <github@kthxbye.cyou>
Date: Fri, 13 Feb 2026 14:21:14 +0100
Subject: [PATCH] ci: cancel dev workflow before cleanup

---
 .github/workflows/dev.yml | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/.github/workflows/dev.yml b/.github/workflows/dev.yml
index da588eb5..557291bd 100644
--- a/.github/workflows/dev.yml
+++ b/.github/workflows/dev.yml
@@ -11,6 +11,13 @@ on:
     paths-ignore:
       - "**/README.md"
       - "docs/**"
+
+# Cancel any in-progress PR workflow runs when PR is closed
+# Used to ensure cleanup runs after any PR build are uploaded (or aborts before the upload)
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
+  cancel-in-progress: ${{ github.event.action == 'closed' }}
+
 jobs:
   set_version:
     if: ${{ github.event_name != 'pull_request' || github.event.action != 'closed' }}