From e6cf45cf09b340085c7a2b2bfadd2d5522fc92e6 Mon Sep 17 00:00:00 2001 From: James Croft Date: Fri, 15 May 2026 16:21:42 +0100 Subject: [PATCH 1/2] ci: cancel superseded PR workflow runs Add concurrency group to CI workflow so that new pushes to a PR branch automatically cancel any in-progress runs for the same branch. Runs on main are never cancelled to ensure tag pushes and merge commits always complete. --- .github/workflows/ci.yml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index cd28448e..e18b3cf3 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -25,6 +25,10 @@ on: - global.json workflow_dispatch: +concurrency: + group: ci-${{ github.ref }} + cancel-in-progress: ${{ github.ref != 'refs/heads/main' }} + permissions: contents: read pull-requests: write From 7d229d010b46b544c09600f3fc27a841b4f3a31a Mon Sep 17 00:00:00 2001 From: James Croft Date: Fri, 15 May 2026 16:21:42 +0100 Subject: [PATCH 2/2] ci: cancel superseded PR workflow runs Add concurrency groups to CI and docs workflows so that new pushes to a PR branch automatically cancel any in-progress runs for the same branch. Runs on main are never cancelled to ensure tag pushes, merge commits, and docs deployments always complete. --- .github/workflows/ci.yml | 4 ++++ .github/workflows/docs.yml | 4 ++++ 2 files changed, 8 insertions(+) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index cd28448e..e18b3cf3 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -25,6 +25,10 @@ on: - global.json workflow_dispatch: +concurrency: + group: ci-${{ github.ref }} + cancel-in-progress: ${{ github.ref != 'refs/heads/main' }} + permissions: contents: read pull-requests: write diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 816ed6c3..2f4f94f3 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -16,6 +16,10 @@ on: - .github/workflows/docs.yml workflow_dispatch: +concurrency: + group: docs-${{ github.ref }} + cancel-in-progress: ${{ github.ref != 'refs/heads/main' }} + permissions: contents: write