From 08958ffb9862bfb8636ff8699ba3fb9517e0908b Mon Sep 17 00:00:00 2001
From: Nicolas Polomack <nicolas@polomack.eu>
Date: Sat, 3 Jun 2023 16:51:45 +0200
Subject: [PATCH] ci: fix CLI args for ReBench v1.1.0

---
 .github/workflows/bench.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/bench.yaml b/.github/workflows/bench.yaml
index 68043391..f822ee7e 100644
--- 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