Adopt #3862: "Update Bencher CLI version" (#3864)

This PR adopts an external PR (#3862) following our [contributing guidelines](https://github.com/runtimeverification/k/blob/master/CONTRIBUTING.md). Co-authored-by: Everett Pompeii <[email protected]> Co-authored-by: rv-jenkins <[email protected]>
runtimeverification · Dec 11, 2023 · 5bbe03e · 5bbe03e
1 parent 687da9d
commit 5bbe03e
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