diff options
| author | Loris Cro <kappaloris@gmail.com> | 2022-11-24 00:07:58 +0100 |
|---|---|---|
| committer | Loris Cro <kappaloris@gmail.com> | 2022-11-24 00:07:58 +0100 |
| commit | dcb16731cf58cf2ec5a5f57f3d7a66dde8f055a0 (patch) | |
| tree | 631c11723a2726ddcfd27a44c607e994347b803b /.github | |
| parent | bcb8ef50ffaa377dc9453535219b780f1ad8cce2 (diff) | |
| download | zig-dcb16731cf58cf2ec5a5f57f3d7a66dde8f055a0.tar.gz zig-dcb16731cf58cf2ec5a5f57f3d7a66dde8f055a0.zip | |
ci: cancel pending CI jobs when a PR gets updated
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci.yaml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index 75bd4e2fb8..7c841777c9 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -4,6 +4,10 @@ on: push: branches: - master +concurrency: + # Cancels pending runs when a PR gets updated. + group: ${{ github.head_ref || github.run_id }} + cancel-in-progress: true jobs: x86_64-linux-debug: outputs: |