diff --git a/script/progress_tracker_utils/benchmark_and_publish_findings_in_docker.sh b/script/progress_tracker_utils/benchmark_and_publish_findings_in_docker.sh index 31e245a5e..52b73f02c 100755 --- a/script/progress_tracker_utils/benchmark_and_publish_findings_in_docker.sh +++ b/script/progress_tracker_utils/benchmark_and_publish_findings_in_docker.sh @@ -3,10 +3,10 @@ # Run benchmarks while logging the intermediate results # Publish findings in the progress tracker -set -e +set +e # shellcheck disable=SC1091 -if source /src/.docker_venv/bin/activate; then +if ! source /src/.docker_venv/bin/activate; then python3 -m venv /src/.docker_venv # shellcheck disable=SC1091 source /src/.docker_venv/bin/activate