CI: Cancel builds upon a new push

Signed-off-by: Stephen Finucane <[email protected]>
getpatchwork · Oct 31, 2024 · 09939ba · 09939ba
1 parent 13bbc0d
commit 09939ba
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -3,6 +3,9 @@ name: CI
 on:
   - push
   - pull_request
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
+  cancel-in-progress: true
 jobs:
   lint:
     name: Run linters