From 5bbe03e2eceff4d3805839f99fb67071b9f67962 Mon Sep 17 00:00:00 2001 From: Bruce Collie Date: Mon, 11 Dec 2023 12:49:15 +0000 Subject: [PATCH] Adopt #3862: "Update Bencher CLI version" (#3864) This PR adopts an external PR (https://github.com/runtimeverification/k/pull/3862) following our [contributing guidelines](https://github.com/runtimeverification/k/blob/master/CONTRIBUTING.md). Co-authored-by: Everett Pompeii Co-authored-by: rv-jenkins --- k-distribution/tests/profiling/setup_profiling.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/k-distribution/tests/profiling/setup_profiling.sh b/k-distribution/tests/profiling/setup_profiling.sh index f4a109ca6b6..eee68738fe2 100755 --- 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