diff options
| author | Silvan Mosberger <contact@infinisil.com> | 2024-04-27 02:08:31 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-04-27 02:08:31 +0200 |
| commit | 873871ed9192212367b2147d03cd0d0335c7dda6 (patch) | |
| tree | a98c08af70d6abad05cd91b87e6fadc9251183b6 /.github | |
| parent | 3c81e4475abad17cbc0c7040c5148389dc534fcb (diff) | |
| parent | 16121d4dc6f91aee6361ebc1b8ad0f063f1fb10f (diff) | |
Merge pull request #306719 from willbush/workflows/by-name-concurrency-group
workflows: add concurrency group to check-by-name workflow (again)
Diffstat (limited to '.github')
| -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 |