From 51d383b4226ef20c4cb0628142a5f81098ee79a2 Mon Sep 17 00:00:00 2001
From: Abdessamad Derraz <3028866+Abdess@users.noreply.github.com>
Date: Tue, 27 Oct 2026 11:36:56 +0100
Subject: [PATCH] fix: let main finish a validation run

---
 .github/workflows/validate.yml | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/validate.yml b/.github/workflows/validate.yml
index 023d3097c..2821345e9 100644
--- a/.github/workflows/validate.yml
+++ b/.github/workflows/validate.yml
@@ -62,10 +62,13 @@ permissions:
   pull-requests: write
 
 concurrency:
-  # A push series collapses to the tip: what has to stay verified is the head
-  # of main, not every commit that passed under it.
+  # A run on main finishes before the next starts: with three sessions pushing
+  # every 25 minutes and a 40-minute suite, cancelling left main with no
+  # finished run at all. GitHub keeps one pending run per group and replaces
+  # it with each newer push, so main gets a finished run and then its tip,
+  # never a growing queue. A pull request still collapses to its latest push.
   group: validate-${{ github.event.pull_request.number || github.ref }}
-  cancel-in-progress: true
+  cancel-in-progress: ${{ github.event_name == 'pull_request' }}
 
 jobs:
   validate-bios: