ci: fix CLI args for ReBench v1.1.0

Hirevo · Jun 4, 2023 · 08958ff · 08958ff
1 parent 040696b
commit 08958ff
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/bench.yaml b/.github/workflows/bench.yaml
@@ -33,4 +33,4 @@ jobs:
       - name: Run and report benchmarks
         run: |
           export PATH="${PATH}:${HOME}/.local/bin"
-          rebench --without-nice --experiment="CI Benchmark Run ID ${GITHUB_RUN_ID}" --branch="${GITHUB_REF}" -c rebench.conf som-rs
+          rebench --experiment="CI Benchmark Run ID ${GITHUB_RUN_ID}" --branch="${GITHUB_REF}" -c rebench.conf som-rs