From 58ca2c1410efba09ca63c0da107321e663978c53 Mon Sep 17 00:00:00 2001
From: Martin Weise <martin.weise@tuwien.ac.at>
Date: Sat, 28 Sep 2024 16:08:03 +0200
Subject: [PATCH] Fixed coverage
---
.gitlab/gen-badge.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.gitlab/gen-badge.sh b/.gitlab/gen-badge.sh
index 0c419dc4b3..6b5d56a656 100644
--- a/.gitlab/gen-badge.sh
+++ b/.gitlab/gen-badge.sh
@@ -5,7 +5,7 @@ anybadge --label pipeline --value "passed" failed=red passed=green canceled=dark
PIPELINE_COVERAGE=$(curl -fsSL -H "PRIVATE-TOKEN: ${CI_TOKEN}" "${GITLAB_URL}/api/v4/projects/450/pipelines/latest?ref=${CI_COMMIT_BRANCH}" | jq --raw-output .coverage)
echo "[INFO] pipeline coverage: ${PIPELINE_COVERAGE}"
if [ "${PIPELINE_COVERAGE}" != "null" ]; then
- anybadge --label pipeline --value "${PIPELINE_COVERAGE}" 70=red 80=orange 90=yellow 95=green > "./final/${APP_VERSION}/images/coverage.svg"
+ anybadge --label coverage --value "${PIPELINE_COVERAGE}%" 70=red 80=orange 90=yellow 95=green > "./final/${APP_VERSION}/images/coverage.svg"
else
echo "[WARNING] Skipping badge generation, displaying default badge text: unknown"
fi
--
GitLab