diff options
| author | Harsh Shandilya <me@msfjarvis.dev> | 2021-09-29 17:30:32 +0530 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-09-29 17:30:32 +0530 |
| commit | 1ad08e9671e3bd84527237ad4af202fde6c50a17 (patch) | |
| tree | 78ffc47d5523dcac2ddaf8a96f2f97e94ab7d4e2 /.github | |
| parent | 1c4150abcd0183aa34fb63f7d08e6060098048d3 (diff) | |
github: force PR builds to be in the same concurrency group (#1507)
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/pull_request.yml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.github/workflows/pull_request.yml b/.github/workflows/pull_request.yml index ffe8acae..045a9124 100644 --- a/.github/workflows/pull_request.yml +++ b/.github/workflows/pull_request.yml @@ -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 |