ci: cancel pr jobs after new push

github.head_ref is only defined for pull_request event, so only those
will be grouped, the rest will fallback to unique run_id, so we neither
cancel them or serialize.

Author: kasper93

.github/workflows/build.yml

@@ -29,6 +29,10 @@ on:
       - 'README.md'
       - 'RELEASE_NOTES'
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
+  cancel-in-progress: true
+
 jobs:
   mingw:
     runs-on: ubuntu-24.04

.github/workflows/cleanup_caches.yml

@@ -5,6 +5,10 @@ on:
     workflows: [build]
     types: [completed]
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
+  cancel-in-progress: true
+
 jobs:
   cache:
     runs-on: ubuntu-latest

.github/workflows/comment.yml

@@ -5,6 +5,10 @@ on:
     workflows: [build]
     types: [completed]
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
+  cancel-in-progress: true
+
 jobs:
   pr_comment:
     if: github.event.workflow_run.event == 'pull_request' &&

.github/workflows/docs.yml

@@ -13,6 +13,10 @@ on:
     paths:
       - 'DOCS/**'
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
+  cancel-in-progress: true
+
 jobs:
   check-docs:
     runs-on: ubuntu-latest

.github/workflows/fuzz.yml

@@ -12,6 +12,9 @@ on:
         - 'Copyright'
         - 'README.md'
         - 'RELEASE_NOTES'
+concurrency:
+  group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
+  cancel-in-progress: true
 permissions: {}
 jobs:
   Fuzzing:

.github/workflows/lint.yml

@@ -9,6 +9,10 @@ on:
   pull_request:
     branches: [master]
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
+  cancel-in-progress: true
+
 jobs:
   commit-msg:
     runs-on: ubuntu-latest