diff options
| author | Silvan Mosberger <contact@infinisil.com> | 2024-04-24 01:59:44 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-04-24 01:59:44 +0200 |
| commit | b219715cd0cb0761be592afd4a5bf774fe0cd7ca (patch) | |
| tree | d0cb710c2e4802806f68afcf8faccbb6ab4a892a /.github | |
| parent | 595998e93c1107007b83d4d2dc070360075bd6bf (diff) | |
| parent | 75600cde6bb25b0e04d2a10d0fb9aaf975e1da81 (diff) | |
Merge pull request #306072 from willbush/workflow/check-by-name/concurrency-group
workflows: add concurrency group to check-by-name workflow
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 a5070679c9d0..d063d298cc2a 100644 --- a/.github/workflows/check-by-name.yml +++ b/.github/workflows/check-by-name.yml @@ -16,6 +16,13 @@ on: # so it shouldn't be a problem types: [opened, synchronize, reopened, edited] +# Create a check-by-name concurrency group based on the branch name. if a new +# commit is pushed to the main branch while a previous run is still in progress, +# the previous run will be cancelled and the new one will start. +concurrency: + group: check-by-name-${{ github.ref }} + cancel-in-progress: true + permissions: # We need this permission to cancel the workflow run if there's a merge conflict actions: write |