feat(ci): kill duplicate CI jobs on PRs (#26945)

This commit is contained in:
Maxime Beauchemin
2024-02-01 07:08:41 -08:00
committed by GitHub
parent 032af5a069
commit 26e330e119
18 changed files with 92 additions and 0 deletions

View File

@@ -7,6 +7,11 @@ on:
pull_request:
types: [synchronize, opened, reopened, ready_for_review]
# cancel previous workflow jobs for PRs
concurrency:
group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.run_id }}
cancel-in-progress: true
jobs:
pre-commit:
runs-on: ubuntu-20.04