diff --git a/.github/workflows/build_and_test.yml b/.github/workflows/build_and_test.yml index 522c5f2e41..d4b3408aea 100644 --- a/.github/workflows/build_and_test.yml +++ b/.github/workflows/build_and_test.yml @@ -12,6 +12,10 @@ on: # 03:00 every Saturday morning - cron: '0 3 * * 6' +concurrency: + group: ${{ github.workflow }}-${{ github.ref }} + cancel-in-progress: true + jobs: linux: diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml index cf61c360aa..0cc2e1e4a2 100644 --- a/.github/workflows/coverage.yml +++ b/.github/workflows/coverage.yml @@ -8,6 +8,10 @@ on: branches: - develop +concurrency: + group: ${{ github.workflow }}-${{ github.ref }} + cancel-in-progress: true + jobs: changes: diff --git a/.github/workflows/valgrind.yml b/.github/workflows/valgrind.yml index f53f3e580e..8ff0bae88d 100644 --- a/.github/workflows/valgrind.yml +++ b/.github/workflows/valgrind.yml @@ -6,6 +6,9 @@ on: schedule: # 03:00 every Monday morning - cron: '0 3 * * 1' +concurrency: + group: ${{ github.workflow }}-${{ github.ref }} + cancel-in-progress: true jobs: changes: runs-on: ubuntu-20.04