| author |  Loris Cro <kappaloris@gmail.com> 2022-11-24 00:07:58+01:00 |
| committer | Loris Cro <kappaloris@gmail.com> 2022-11-24 00:07:58+01:00 |
| log | dcb16731cf58cf2ec5a5f57f3d7a66dde8f055a0 |
| tree | 631c11723a2726ddcfd27a44c607e994347b803b |
| parent | bcb8ef50ffaa377dc9453535219b780f1ad8cce2 |
ci: cancel pending CI jobs when a PR gets updated
1 files changed, 4 insertions(+), 0 deletions(-)
.github- workflows
.github/workflows/ci.yaml+4
| ... | ... | @@ -4,6 +4,10 @@ on: |
| 4 | 4 | push: |
| 5 | 5 | branches: |
| 6 | 6 | - master |
| 7 | concurrency: | |
| 8 | # Cancels pending runs when a PR gets updated. | |
| 9 | group: ${{ github.head_ref || github.run_id }} | |
| 10 | cancel-in-progress: true | |
| 7 | 11 | jobs: |
| 8 | 12 | x86_64-linux-debug: |
| 9 | 13 | outputs: |