fix: don\'t build multiple times, secodnd attempt

leanprover-community · Jan 5, 2025 · c7fcb96 · c7fcb96
1 parent 101795c
commit c7fcb96
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -10,7 +10,7 @@ on:
 name: ci
 
 concurrency:
-  group: build-${{ github.ref }}
+  group: build-${{ github.ref.commit }}
   cancel-in-progress: true
 
 jobs: