Update Bencher CLI version

Update Bencher CLI version due to breaking changes.
runtimeverification · Dec 11, 2023 · bbaa7ea · bbaa7ea
1 parent f80eee2
commit bbaa7ea
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/k-distribution/tests/profiling/setup_profiling.sh b/k-distribution/tests/profiling/setup_profiling.sh
@@ -3,7 +3,7 @@
 set -euxo pipefail
 
 export DEBIAN_FRONTEND=noninteractive
-export BENCHER_VERSION="0.3.15"
+export BENCHER_VERSION="0.3.23"
 apt-get update
 apt-get upgrade --yes
 apt-get install --yes python3 python3-pip git curl make time sudo wget