| author |  Andrew Kelley <andrew@ziglang.org> 2022-12-05 15:51:10-07:00 |
| committer | Andrew Kelley <andrew@ziglang.org> 2022-12-05 15:51:10-07:00 |
| log | dc852f8226749eb8dd5e1e2496f18a4d102f60b1 |
| tree | 4e290036e4893117d766559d82de0c2b204792d2 |
| parent | 12e34e70377882363dbedf2a7afdc8737a7435c5 |
CI: adjust logic for cancelling workflows
This prevents clobbering when two contributors' PRs have the same head
ref.1 files changed, 1 insertions(+), 1 deletions(-)
.github- workflows
.github/workflows/ci.yaml+1-1
| ... | ... | @@ -6,7 +6,7 @@ on: |
| 6 | 6 | - master |
| 7 | 7 | concurrency: |
| 8 | 8 | # Cancels pending runs when a PR gets updated. |
| 9 | group: ${{ github.head_ref || github.run_id }} | |
| 9 | group: ${{ github.head_ref || github.run_id }}-${{ github.actor }} | |
| 10 | 10 | cancel-in-progress: true |
| 11 | 11 | jobs: |
| 12 | 12 | x86_64-linux-debug: |