diff --git a/.github/workflows/benchmark.yaml b/.github/workflows/benchmark.yaml index 7bf10b0cb..d495cbd51 100644 --- a/.github/workflows/benchmark.yaml +++ b/.github/workflows/benchmark.yaml @@ -14,6 +14,11 @@ on: permissions: pull-requests: write # For comment +# cancel previous job runs for the same workflow + pr +concurrency: + group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }} + cancel-in-progress: true + env: RUST_LOG: info RUST_BACKTRACE: 1 diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml index 43c229bf8..2452d7665 100644 --- a/.github/workflows/check.yml +++ b/.github/workflows/check.yml @@ -17,6 +17,11 @@ on: permissions: contents: write # For documentation deployment +# cancel previous job runs for the same workflow + pr +concurrency: + group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }} + cancel-in-progress: true + env: RUST_LOG: info RUST_BACKTRACE: 1