diff --git a/.github/workflows/develop.yml b/.github/workflows/develop.yml index 1f2ffa64aa..b86a596326 100644 --- a/.github/workflows/develop.yml +++ b/.github/workflows/develop.yml @@ -24,6 +24,10 @@ on: name: CI +concurrency: + group: ${{ github.workflow }}-${{ github.event.pull_request.number }} + cancel-in-progress: true + env: RUST_TOOLCHAIN: nightly-2023-08-07