From e85a7398dca9fa61f131b0cd855a78eab0cf49da Mon Sep 17 00:00:00 2001 From: James Parker Date: Wed, 25 Sep 2024 16:56:30 -0400 Subject: [PATCH] Fix edge case in benchmarking --- .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 bb9effc39..557390545 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@00bf34008c7b91a09ea7f1ef93330ccb7bf2d4ab + uses: GaloisInc/github-action-benchmark@47b8b8960c7ed9a55d1db3326ae1ea69aa302380 with: name: CN Benchmarks tool: 'customSmallerIsBetter'