From 969fe77fbb4d37c55ab2b071a5a44eefa7385992 Mon Sep 17 00:00:00 2001
From: James Parker <james@galois.com>
Date: Wed, 25 Sep 2024 15:57:34 -0400
Subject: [PATCH] .

---
 .github/workflows/ci-bench.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci-bench.yml b/.github/workflows/ci-bench.yml
index ae47aa8ac..bb9effc39 100644
--- a/.github/workflows/ci-bench.yml
+++ b/.github/workflows/ci-bench.yml
@@ -102,7 +102,7 @@ jobs:
         cd ..
 
     - name: Store benchmark result
-      uses: GaloisInc/github-action-benchmark@b15f8e57ac3242eb914fdaaa731d989a8748a35e
+      uses: GaloisInc/github-action-benchmark@00bf34008c7b91a09ea7f1ef93330ccb7bf2d4ab
       with:
         name: CN Benchmarks
         tool: 'customSmallerIsBetter'