ci: add concurrency groups to all workflows

Author: PierreQuinton

.github/workflows/build-deploy-docs.yml

@@ -6,6 +6,10 @@ on:
     tags:
       - 'v[0-9]*.[0-9]*.[0-9]*'
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: false
+
 env:
   UV_NO_SYNC: 1
 

.github/workflows/checks.yml

@@ -6,6 +6,10 @@ on:
   schedule:
     - cron: '41 16 * * *'  # Every day at 16:41 UTC (to avoid high load at exact hour values).
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 env:
   UV_NO_SYNC: 1
 

.github/workflows/claude.yml

@@ -10,6 +10,10 @@ on:
   pull_request_review:
     types: [submitted]
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 jobs:
   claude:
     if: |

.github/workflows/release.yml

@@ -4,6 +4,10 @@ on:
   release:
     types: [published]
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 jobs:
   pypi-publish:
     name: Publish to PyPI

.github/workflows/title-formatter.yml

@@ -4,6 +4,10 @@ on:
   pull_request_target:
     types: [opened, edited, reopened, labeled, unlabeled, synchronize]
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 jobs:
   format-title:
     runs-on: ubuntu-latest