Cancel CI workflow if new changes are pushed (#175)

Signed-off-by: Andrew Helwer <[email protected]>
tlaplus · Nov 4, 2024 · a7a3a0a · a7a3a0a
1 parent 56f33ef
commit a7a3a0a
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -4,6 +4,9 @@ on:
     branches: [main]
   push:
     branches: [main]
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
+  cancel-in-progress: true
 jobs:
     test:
         name: Build & Test