From d9237d004e98f5d53fbc97c38bd956c3ebfb84a3 Mon Sep 17 00:00:00 2001 From: bherbruck Date: Tue, 13 Oct 2026 18:49:38 -0400 Subject: [PATCH] ci: the nightly and Run workflow get their own concurrency group (#877) Only one run per concurrency group can wait. On a busy main each push replaced the waiting run, so the nightly and Run workflow runs on main were cancelled before they started. The group now includes the event. Co-Authored-By: Claude Opus 5.5 --- .github/workflows/ci.yml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index a589b722..30fc1d44 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -21,8 +21,9 @@ permissions: contents: read concurrency: - group: ci-${{ github.ref }} - # Every push to main gets its full run; a new PR push replaces the old run. + # A new PR push replaces the old run. Only one run per group may wait, so a busy main would + # cancel the waiting nightly (or a Run workflow) before it starts: they get groups of their own. + group: ci-${{ github.event_name }}-${{ github.ref }} cancel-in-progress: ${{ github.event_name == 'pull_request' }} env: