Merge pull request #306719 from willbush/workflows/by-name-concurrency-group

workflows: add concurrency group to check-by-name workflow (again)
This commit is contained in:
Silvan Mosberger 2024-04-27 02:08:31 +02:00 committed by GitHub
commit 873871ed91
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -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