From 1b536467fa969acbd8091d2471ef0e4092b399dc Mon Sep 17 00:00:00 2001
From: Aditya Zutshi <aditya.zutshi@galois.com>
Date: Tue, 31 Dec 2024 13:47:43 -0800
Subject: [PATCH] added back cancel-in-progress

---
 .github/workflows/ci-bench.yml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/ci-bench.yml b/.github/workflows/ci-bench.yml
index 34dad34ab..5724c3d39 100644
--- 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: