ci: cancel existing jobs on push

GaloisInc · Nov 1, 2024 · a0f90de · a0f90de
1 parent f079157
commit a0f90de
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.github/workflows/server-ci.yml b/.github/workflows/server-ci.yml
@@ -8,6 +8,11 @@ on:
     branches:
       - main
 
+# Cancel in-progress job when a new push is performed
+concurrency:
+  group: ci-${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 jobs:
   build:
     strategy: