From d16cb89680ab290972b6249e07eb2d72c1e43ead Mon Sep 17 00:00:00 2001 From: Fabio Niephaus Date: Sat, 9 Dec 2023 20:09:28 +0100 Subject: [PATCH] Make `report_build_metrics` more robust --- helpers.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helpers.sh b/helpers.sh index fcf90aa4..ae629193 100644 --- a/helpers.sh +++ b/helpers.sh @@ -546,7 +546,7 @@ report_build_metrics() { local duration=$(($(timer_nanoseconds)-$smalltalk_ci_start_time)) duration=$(echo "${duration}" | awk '{printf "%.3f\n", $1/1000000000}') - if [[ "${config_tracking}" != "true" ]]; then + if [[ "${config_tracking:-}" == "false" ]]; then return 0 fi