CI: Cancel builds upon a new push

Signed-off-by: Stephen Finucane <[email protected]> (cherry picked from commit 09939ba)
getpatchwork · Oct 31, 2024 · 95682fd · 95682fd
1 parent 3e92448
commit 95682fd
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