From 4c14209d2c8dabc5463dbac8738ab8980d801a77 Mon Sep 17 00:00:00 2001 From: Max Ghenis Date: Thu, 13 Aug 2026 09:12:57 -0400 Subject: [PATCH] Key the pages concurrency group by ref so PR runs stop cancelling master deploys The workflow-wide "pages" group made every pull_request run and every master push share one concurrency slot with cancel-in-progress: true, so a PR run could cancel master's site deploy (observed on the #235 merge, run 31521424173) and master pushes cancelled PR lint jobs before Ruff ran (observed on #386, job 93765266885). Keying the group by ref keeps cancellation within a single ref: a newer push to the same PR or to master cancels only its own older run. Co-Authored-By: Claude Fable 5 --- .github/workflows/deploy.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml index 8104b10e..3d57fcb5 100644 --- a/.github/workflows/deploy.yml +++ b/.github/workflows/deploy.yml @@ -14,7 +14,7 @@ permissions: id-token: write concurrency: - group: "pages" + group: "pages-${{ github.ref }}" cancel-in-progress: true jobs: