diff --git a/.github/workflows/bench.yml b/.github/workflows/bench.yml index 5e31d6dd..55e06ce9 100644 --- a/.github/workflows/bench.yml +++ b/.github/workflows/bench.yml @@ -25,7 +25,7 @@ jobs: run: | git clone https://github.com/higherorderco/hvm-compare-perf cd hvm-compare-perf - NO_COLOR=1 cargo run bench -r main -r ${{ github.sha }} > ../table + NO_COLOR=1 cargo run bench -r main -r ${{ github.sha }} -m intr-singl -m intr-multi > ../table - name: write comment run: | echo 'Perf run for [`'`git rev-parse --short ${{ github.sha }}`'`](https://github.com/higherorderco/hvm-core/commit/${{ github.sha }}):' >> comment