From bca62ea696663e5d5d6ae7be2223c84f90069755 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Adri=C3=A0=20Franch?= Date: Fri, 16 Oct 2026 19:14:07 +0200 Subject: [PATCH] ci: let a push to main cancel the build of the previous one Push builds of main ran one after another, so a merge waited for the builds of every earlier merge before main got a result for its tree; a fix of a red main sat behind a build of the tree it fixes. The newest push now cancels the build in progress, like pull request and dispatched builds already do. The merge queue's baselines already skip cancelled main builds and use the nearest completed ones. Co-Authored-By: Claude --- .github/workflows/build.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index c279099b88..8ed8ee86e9 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -28,7 +28,7 @@ permissions: concurrency: group: build-${{ github.event_name }}-${{ github.event.pull_request.number || inputs.pr || github.ref }} - cancel-in-progress: ${{ github.event_name != 'push' }} + cancel-in-progress: true env: CONFIGURE: >-