From d30a438ab1d0be5e05d02f4229049748a59cd4a5 Mon Sep 17 00:00:00 2001
From: ChrisRackauckas <accounts@chrisrackauckas.com>
Date: Sat, 17 Oct 2026 13:35:09 +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/DocPreviewCleanup.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/DocPreviewCleanup.yml b/.github/workflows/DocPreviewCleanup.yml
index 960a549..5a9486f 100644
--- a/.github/workflows/DocPreviewCleanup.yml
+++ b/.github/workflows/DocPreviewCleanup.yml
@@ -4,6 +4,9 @@ on:
     types: [closed]
 permissions:
   contents: write
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: ${{ github.event_name == 'pull_request' }}
 jobs:
   cleanup:
     uses: "SciML/.github/.github/workflows/docs-preview-cleanup.yml@v1"
diff --git a/.github/workflows/Downgrade.yml b/.github/workflows/Downgrade.yml
index 853ffba..b465db1 100644
--- a/.github/workflows/Downgrade.yml
+++ b/.github/workflows/Downgrade.yml
@@ -10,6 +10,9 @@ on:
       - master
     paths-ignore:
       - 'docs/**'
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: ${{ github.event_name == 'pull_request' }}
 jobs:
   downgrade:
     name: "Downgrade"
diff --git a/.github/workflows/FormatCheck.yml b/.github/workflows/FormatCheck.yml
index 32f2e1f..a7b6578 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:
     name: "Runic"
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 a134515..522ca2d 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:
     name: "Spell Check with Typos"
diff --git a/.github/workflows/benchmark.yml b/.github/workflows/benchmark.yml
index b35da5d..007826b 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