Merge branch 'main' into bencher

alankritdabral · Apr 8, 2024 · 2bb1035 · 2bb1035
2 parents dd4f753 + 427fb18
commit 2bb1035
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/benchmark.yml b/.github/workflows/benchmark.yml
@@ -153,4 +153,4 @@ jobs:
           --ci-number '${{ github.event.pull_request.number }}' \
           --github-actions "${{ secrets.GITHUB_TOKEN }}" \
           --err \
-          --file benches/change.txt
+          --file benches/change.txt