diff options
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/check-by-name.yml | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/.github/workflows/check-by-name.yml b/.github/workflows/check-by-name.yml index 38e63f32237aa..5863d0186f9bc 100644 --- a/.github/workflows/check-by-name.yml +++ b/.github/workflows/check-by-name.yml @@ -20,6 +20,13 @@ permissions: # We need this permission to cancel the workflow run if there's a merge conflict actions: write +# Create a check-by-name concurrency group based on the pull request number. if +# an event triggers a run on the same PR while a previous run is still in +# progress, the previous run will be canceled and the new one will start. +concurrency: + group: check-by-name-${{ github.event.pull_request.number }} + cancel-in-progress: true + jobs: check: # This needs to be x86_64-linux, because we depend on the tooling being pre-built in the GitHub releases |