added back cancel-in-progress

GaloisInc · Dec 31, 2024 · 1b53646 · 1b53646
1 parent 2f5901d
commit 1b53646
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/.github/workflows/ci-bench.yml b/.github/workflows/ci-bench.yml
@@ -14,10 +14,10 @@ permissions:
   # contents permission to update benchmark contents in gh-pages branch
   contents: write
 
-# # cancel in-progress job when a new push is performed
-# concurrency:
-#   group: ci-bench-${{ github.workflow }}-${{ github.ref }}
-#   cancel-in-progress: true
+# cancel in-progress job when a new push is performed
+concurrency:
+  group: ci-bench-${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
 
 jobs:
   benchmark: