From 5816378ba6fd3318b0701d71a57de314a1072fa3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jonas=20Bj=C3=B6rkert?= <jonas@bjorkert.se>
Date: Sat, 10 Oct 2026 18:03:30 +0200
Subject: [PATCH] Keep no-op PR edits from cancelling in-flight lint runs

---
 .github/workflows/lint.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
index 9da63a7b1..7044fdd31 100644
--- a/.github/workflows/lint.yml
+++ b/.github/workflows/lint.yml
@@ -10,7 +10,9 @@ on:
   workflow_dispatch:
 
 concurrency:
-  group: lint-${{ github.ref }}
+  # Edits that don't change the base branch get their own group, so they never
+  # cancel an in-flight lint run.
+  group: lint-${{ github.ref }}${{ github.event.action == 'edited' && github.event.changes.base == null && format('-noop-{0}', github.run_id) || '' }}
   cancel-in-progress: true
 
 permissions: