From 8f2b06b729398d3b04fccba692a6f2602bea9335 Mon Sep 17 00:00:00 2001 From: Argenis Date: Tue, 24 Mar 2026 00:15:26 -0400 Subject: [PATCH] fix(ci): use shared concurrency group for master push events (#4479) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit The concurrency group used github.sha for push events, giving each merge its own group. Back-to-back merges queued multiple full CI runs that never cancelled each other, exhausting runner capacity. Use a fixed 'push-master' group so only the latest push to master runs CI — older runs are cancelled automatically. --- .github/workflows/ci-run.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci-run.yml b/.github/workflows/ci-run.yml index fd0be1f45..98509c1c5 100644 --- a/.github/workflows/ci-run.yml +++ b/.github/workflows/ci-run.yml @@ -7,7 +7,7 @@ on: branches: [master] concurrency: - group: ci-${{ github.event.pull_request.number || github.sha }} + group: ci-${{ github.event.pull_request.number || 'push-master' }} cancel-in-progress: true permissions: