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'