Fix edge case in benchmarking

rems-project · Sep 26, 2024 · e85a739 · e85a739
1 parent 0e5ded7
commit e85a739
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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'