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,7 +6,7 @@ on: |
| 6 | - master | 6 | - master |
| 7 | concurrency: | 7 | concurrency: |
| 8 | # Cancels pending runs when a PR gets updated. | 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 | cancel-in-progress: true | 10 | cancel-in-progress: true |
| 11 | jobs: | 11 | jobs: |
| 12 | x86_64-linux-debug: | 12 | x86_64-linux-debug: |