ci: run successive main commits side by side

.github/workflows/book.yml

@@ -35,6 +35,8 @@ permissions:
 # Scope this to the ref, and keep the single-deploy guarantee on the deploy job
 # itself. Superseded PR runs are cancelled; pushes to main are not, so a
 # publish in flight is never interrupted.
+# The group deliberately has no commit SHA. Parallel builds on main would let
+# a slower older commit deploy after a newer one and replace the published site.
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}
   cancel-in-progress: ${{ github.event_name == 'pull_request' }}

.github/workflows/ci.yml

@@ -28,9 +28,10 @@ on:
       - 'Cargo.lock'
       - '.github/workflows/**'
 
-# main runs finish; any other ref cancels the older run of this workflow.
+# Each commit on main gets its own group, so it starts at once. Any other ref
+# still shares one group and cancels the older run.
 concurrency:
-  group: ci-gate-${{ github.ref_name }}
+  group: ci-gate-${{ github.ref_name }}${{ github.ref_name == 'main' && format('-{0}', github.sha) || '' }}
   cancel-in-progress: ${{ github.ref_name != 'main' }}
 
 # Every other workflow in the repo pins this rather than inheriting whatever the

.github/workflows/codeql.yml

@@ -26,9 +26,10 @@ on:
   schedule:
     - cron: "44 3 * * 6"
 
-# main runs finish; any other ref cancels the older run of this workflow.
+# Each commit on main gets its own group, so it starts at once. Any other ref
+# still shares one group and cancels the older run.
 concurrency:
-  group: ${{ github.workflow }}-${{ github.ref_name }}
+  group: ${{ github.workflow }}-${{ github.ref_name }}${{ github.ref_name == 'main' && format('-{0}', github.sha) || '' }}
   cancel-in-progress: ${{ github.ref_name != 'main' }}
 
 jobs:

.github/workflows/cutile-rs.yml

@@ -25,9 +25,10 @@ on:
       - "pull-request/[0-9]+"
   workflow_dispatch:
 
-# main runs finish; any other ref cancels the older run of this workflow.
+# Each commit on main gets its own group, so it starts at once. Any other ref
+# still shares one group and cancels the older run.
 concurrency:
-  group: ${{ github.workflow }}-${{ github.ref_name }}
+  group: ${{ github.workflow }}-${{ github.ref_name }}${{ github.ref_name == 'main' && format('-{0}', github.sha) || '' }}
   cancel-in-progress: ${{ github.ref_name != 'main' }}
 
 permissions:

.github/workflows/docs.yml

@@ -26,9 +26,10 @@ on:
       - 'Cargo.lock'
       - '.github/workflows/**'
 
-# main runs finish; any other ref cancels the older run of this workflow.
+# Each commit on main gets its own group, so it starts at once. Any other ref
+# still shares one group and cancels the older run.
 concurrency:
-  group: ${{ github.workflow }}-${{ github.ref_name }}
+  group: ${{ github.workflow }}-${{ github.ref_name }}${{ github.ref_name == 'main' && format('-{0}', github.sha) || '' }}
   cancel-in-progress: ${{ github.ref_name != 'main' }}
 
 permissions:

.github/workflows/examples-compile.yml

@@ -26,9 +26,10 @@ on:
       - 'Cargo.lock'
       - '.github/workflows/**'
 
-# main runs finish; any other ref cancels the older run of this workflow.
+# Each commit on main gets its own group, so it starts at once. Any other ref
+# still shares one group and cancels the older run.
 concurrency:
-  group: ${{ github.workflow }}-${{ github.ref_name }}
+  group: ${{ github.workflow }}-${{ github.ref_name }}${{ github.ref_name == 'main' && format('-{0}', github.sha) || '' }}
   cancel-in-progress: ${{ github.ref_name != 'main' }}
 
 permissions:

.github/workflows/naming-guard.yml

@@ -22,9 +22,10 @@ on:
       - 'cuda-oxide/scripts/check-reserved-prefixes.sh'
       - '.github/workflows/naming-guard.yml'
 
-# main runs finish; any other ref cancels the older run of this workflow.
+# Each commit on main gets its own group, so it starts at once. Any other ref
+# still shares one group and cancels the older run.
 concurrency:
-  group: ${{ github.workflow }}-${{ github.ref_name }}
+  group: ${{ github.workflow }}-${{ github.ref_name }}${{ github.ref_name == 'main' && format('-{0}', github.sha) || '' }}
   cancel-in-progress: ${{ github.ref_name != 'main' }}
 
 permissions:

.github/workflows/status-guard.yml

@@ -7,9 +7,10 @@ on:
   pull_request:
     branches: [main]
 
-# main runs finish; any other ref cancels the older run of this workflow.
+# Each commit on main gets its own group, so it starts at once. Any other ref
+# still shares one group and cancels the older run.
 concurrency:
-  group: ${{ github.workflow }}-${{ github.ref_name }}
+  group: ${{ github.workflow }}-${{ github.ref_name }}${{ github.ref_name == 'main' && format('-{0}', github.sha) || '' }}
   cancel-in-progress: ${{ github.ref_name != 'main' }}
 
 permissions: