ci: Add concurrency groups to all workflows (#599)

Co-authored-by: ValerianRey <ValerianRey@users.noreply.github.com>

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/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