🔧 enable GitHub workflow concurrency (#277)

Added concurrency settings to each GitHub workflow file to prevent multiple runs of the same workflow on the same branch. This significantly optimizes resource usage, especially when multiple subsequent changes are pushed to the same branch.

.github/workflows/clang-format.yml

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

.github/workflows/clang-tidy-review.yml

@@ -8,6 +8,10 @@ on:
       - 'libs/**'
       - '.github/workflows/clang-tidy-review.yml'
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
+  cancel-in-progress: true
+
 jobs:
   clangtidy:
     runs-on: ubuntu-latest

.github/workflows/codeql-analysis.yml

@@ -25,6 +25,10 @@ on:
   schedule:
     - cron: '30 5 * * 6'
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
+  cancel-in-progress: true
+
 env:
   Z3_VERSION: 4.10.0
 

.github/workflows/coverage.yml

@@ -21,6 +21,10 @@ on:
       - '.github/workflows/coverage.yml'
   merge_group:
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
+  cancel-in-progress: true
+
 defaults:
   run:
     shell: bash

.github/workflows/docker-image.yml

@@ -23,6 +23,10 @@ on:
       - 'Dockerfile'
   merge_group:
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
+  cancel-in-progress: true
+
 jobs:
   build:
     name: Build Docker image

.github/workflows/macos.yml

@@ -21,6 +21,10 @@ on:
       - '.github/workflows/macos.yml'
   merge_group:
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
+  cancel-in-progress: true
+
 defaults:
   run:
     shell: bash

.github/workflows/release-drafter.yml

@@ -12,6 +12,10 @@ on:
 permissions:
   contents: read
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
+  cancel-in-progress: true
+
 jobs:
   update_release_draft:
     permissions:

.github/workflows/ubuntu.yml

@@ -21,6 +21,10 @@ on:
       - '.github/workflows/ubuntu.yml'
   merge_group:
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
+  cancel-in-progress: true
+
 defaults:
   run:
     shell: bash

.github/workflows/windows.yml

@@ -21,6 +21,10 @@ on:
       - '.github/workflows/windows.yml'
   merge_group:
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
+  cancel-in-progress: true
+
 defaults:
   run:
     shell: pwsh  # use pwsh as directory handling does not seem to work with bash