github: force PR builds to be in the same concurrency group (#1507)
This commit is contained in:
parent
1c4150abcd
commit
1ad08e9671
1 changed files with 5 additions and 0 deletions
5
.github/workflows/pull_request.yml
vendored
5
.github/workflows/pull_request.yml
vendored
|
@ -1,6 +1,11 @@
|
|||
on: [pull_request]
|
||||
|
||||
name: Check pull request
|
||||
|
||||
concurrency:
|
||||
group: ${{ github.head_ref }}
|
||||
cancel-in-progress: true
|
||||
|
||||
jobs:
|
||||
unit-tests:
|
||||
runs-on: ubuntu-latest
|
||||
|
|
Loading…
Reference in a new issue