diff --git a/.github/workflows/CICD.yml b/.github/workflows/CICD.yml index b1b8dca54..cf12ee2d7 100644 --- a/.github/workflows/CICD.yml +++ b/.github/workflows/CICD.yml @@ -20,6 +20,11 @@ on: [push, pull_request] permissions: contents: read # to fetch code (actions/checkout) +# End the current execution if there is a new changeset in the PR. +concurrency: + group: ${{ github.workflow }}-${{ github.ref }} + cancel-in-progress: ${{ github.ref != 'refs/heads/main' }} + jobs: cargo-deny: name: Style/cargo-deny diff --git a/.github/workflows/GnuTests.yml b/.github/workflows/GnuTests.yml index a462b946a..61da457ed 100644 --- a/.github/workflows/GnuTests.yml +++ b/.github/workflows/GnuTests.yml @@ -14,6 +14,11 @@ on: [push, pull_request] permissions: contents: read +# End the current execution if there is a new changeset in the PR. +concurrency: + group: ${{ github.workflow }}-${{ github.ref }} + cancel-in-progress: ${{ github.ref != 'refs/heads/main' }} + jobs: gnu: permissions: