From 4ab99768aefccb10abb2b4e6fad43fdc7f885fef Mon Sep 17 00:00:00 2001
From: Donkie <daniel.cf.hultgren@gmail.com>
Date: Thu, 30 Jul 2026 21:48:55 +0200
Subject: [PATCH] Abort last workflow run for PRs when new push

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

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index b861a6f1..24f94365 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -14,6 +14,13 @@ permissions:
   contents: read
   packages: read
 
+# A new push to a PR makes the previous run's result irrelevant, so cancel it and
+# let the new one have the runners. Gated on the event: the push triggers are
+# master and v* tags, and a cancelled tag run is a half-published release.
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: ${{ github.event_name == 'pull_request' }}
+
 env:
   GHCR_IMAGE: donkie/spoolman