From 350a1a3af40fee569acac82804364f84d80d83d6 Mon Sep 17 00:00:00 2001
From: ChrisRackauckas <accounts@chrisrackauckas.com>
Date: Sat, 17 Oct 2026 13:34:56 +0000
Subject: [PATCH] Cancel superseded PR CI runs

Add a cancel-in-progress concurrency group, active only for pull_request events, to the PR workflows that lack one.

Co-Authored-By: Chris Rackauckas <accounts@chrisrackauckas.com>
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Agent-Harness: Claude Code 2.1.302
Agent-Model: claude-sonnet-5-5
Agent-Session: local subagent of the fleet-master session
---
 .github/workflows/DependabotAutoMerge.yml | 3 +++
 .github/workflows/Documentation.yml       | 3 +++
 .github/workflows/Downgrade.yml           | 3 +++
 .github/workflows/FormatCheck.yml         | 3 +++
 .github/workflows/RunicSuggestions.yml    | 3 +++
 .github/workflows/SpellCheck.yml          | 3 +++
 .github/workflows/benchmark.yml           | 3 +++
 7 files changed, 21 insertions(+)

diff --git a/.github/workflows/DependabotAutoMerge.yml b/.github/workflows/DependabotAutoMerge.yml
index 44b814c..e24b444 100644
--- a/.github/workflows/DependabotAutoMerge.yml
+++ b/.github/workflows/DependabotAutoMerge.yml
@@ -3,6 +3,9 @@ on: pull_request
 permissions:
   contents: write
   pull-requests: write
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: ${{ github.event_name == 'pull_request' }}
 jobs:
   automerge:
     uses: "SciML/.github/.github/workflows/dependabot-automerge.yml@v1"
diff --git a/.github/workflows/Documentation.yml b/.github/workflows/Documentation.yml
index 41debea..24e46d9 100644
--- a/.github/workflows/Documentation.yml
+++ b/.github/workflows/Documentation.yml
@@ -16,6 +16,9 @@ permissions:
   pull-requests: write
   statuses: write
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: ${{ github.event_name == 'pull_request' }}
 jobs:
   build:
     uses: "SciML/.github/.github/workflows/documentation.yml@v1"
diff --git a/.github/workflows/Downgrade.yml b/.github/workflows/Downgrade.yml
index 2d7bd55..74c66c2 100644
--- a/.github/workflows/Downgrade.yml
+++ b/.github/workflows/Downgrade.yml
@@ -10,6 +10,9 @@ on:
       - main
     paths-ignore:
       - 'docs/**'
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: ${{ github.event_name == 'pull_request' }}
 jobs:
   downgrade:
     uses: "SciML/.github/.github/workflows/downgrade.yml@v1"
diff --git a/.github/workflows/FormatCheck.yml b/.github/workflows/FormatCheck.yml
index 8dad791..5e908ce 100644
--- a/.github/workflows/FormatCheck.yml
+++ b/.github/workflows/FormatCheck.yml
@@ -9,6 +9,9 @@ on:
     tags: '*'
   pull_request:
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: ${{ github.event_name == 'pull_request' }}
 jobs:
   runic:
     uses: "SciML/.github/.github/workflows/runic.yml@v1"
diff --git a/.github/workflows/RunicSuggestions.yml b/.github/workflows/RunicSuggestions.yml
index 43c0768..50043e7 100644
--- a/.github/workflows/RunicSuggestions.yml
+++ b/.github/workflows/RunicSuggestions.yml
@@ -3,6 +3,9 @@ on: pull_request
 permissions:
   contents: read
   pull-requests: write
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: ${{ github.event_name == 'pull_request' }}
 jobs:
   runic-suggestions:
     uses: "SciML/.github/.github/workflows/runic-suggestions-on-pr.yml@v1"
diff --git a/.github/workflows/SpellCheck.yml b/.github/workflows/SpellCheck.yml
index 434bc76..4d2a95e 100644
--- a/.github/workflows/SpellCheck.yml
+++ b/.github/workflows/SpellCheck.yml
@@ -2,6 +2,9 @@ name: Spell Check
 
 on: [pull_request]
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: ${{ github.event_name == 'pull_request' }}
 jobs:
   typos-check:
     uses: "SciML/.github/.github/workflows/spellcheck.yml@v1"
diff --git a/.github/workflows/benchmark.yml b/.github/workflows/benchmark.yml
index 0695beb..00b335f 100644
--- a/.github/workflows/benchmark.yml
+++ b/.github/workflows/benchmark.yml
@@ -9,6 +9,9 @@ permissions:
   pull-requests: write
   contents: read
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: ${{ github.event_name == 'pull_request' }}
 jobs:
   benchmark:
     runs-on: ubuntu-latest