fix: don't build multiple times

leanprover-community · Jan 5, 2025 · 9520928 · 9520928
1 parent dc529d4
commit 9520928
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -9,6 +9,10 @@ on:
 
 name: ci
 
+concurrency:
+  group: build-${{ github.ref }}
+  cancel-in-progress: true
+
 jobs:
   build:
     name: Build