aboutsummaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorAndrew Kelley <andrew@ziglang.org>2022-12-05 15:51:10 -0700
committerAndrew Kelley <andrew@ziglang.org>2022-12-05 15:51:10 -0700
commitdc852f8226749eb8dd5e1e2496f18a4d102f60b1 (patch)
tree4e290036e4893117d766559d82de0c2b204792d2 /.github
parent12e34e70377882363dbedf2a7afdc8737a7435c5 (diff)
downloadzig-dc852f8226749eb8dd5e1e2496f18a4d102f60b1.tar.gz
zig-dc852f8226749eb8dd5e1e2496f18a4d102f60b1.zip
CI: adjust logic for cancelling workflows
This prevents clobbering when two contributors' PRs have the same head ref.
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/ci.yaml2
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index 52b047dc36..e9b9bd21f0 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -6,7 +6,7 @@ on:
- master
concurrency:
# Cancels pending runs when a PR gets updated.
- group: ${{ github.head_ref || github.run_id }}
+ group: ${{ github.head_ref || github.run_id }}-${{ github.actor }}
cancel-in-progress: true
jobs:
x86_64-linux-debug: