diff --git a/.github/workflows/clang-format.yml b/.github/workflows/clang-format.yml index 1c137755f..305904ce9 100644 --- a/.github/workflows/clang-format.yml +++ b/.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 diff --git a/.github/workflows/clang-tidy-review.yml b/.github/workflows/clang-tidy-review.yml index d99d4c219..b86ac987c 100644 --- a/.github/workflows/clang-tidy-review.yml +++ b/.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 diff --git a/.github/workflows/codeql-analysis.yml b/.github/workflows/codeql-analysis.yml index 328a7b985..a7df3da47 100644 --- a/.github/workflows/codeql-analysis.yml +++ b/.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 diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml index bd5e6ebd1..0190669ef 100644 --- a/.github/workflows/coverage.yml +++ b/.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 diff --git a/.github/workflows/docker-image.yml b/.github/workflows/docker-image.yml index 74e5074b9..c6391053d 100644 --- a/.github/workflows/docker-image.yml +++ b/.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 diff --git a/.github/workflows/macos.yml b/.github/workflows/macos.yml index 19ed60dab..01a8de948 100644 --- a/.github/workflows/macos.yml +++ b/.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 diff --git a/.github/workflows/release-drafter.yml b/.github/workflows/release-drafter.yml index 60c0781c2..d60382f90 100644 --- a/.github/workflows/release-drafter.yml +++ b/.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: diff --git a/.github/workflows/ubuntu.yml b/.github/workflows/ubuntu.yml index 9f462e99c..170360eac 100644 --- a/.github/workflows/ubuntu.yml +++ b/.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 diff --git a/.github/workflows/windows.yml b/.github/workflows/windows.yml index 00054c4fd..b704d0d3c 100644 --- a/.github/workflows/windows.yml +++ b/.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