From 112238f458524cfe95a1278e9d3ad325ba832c05 Mon Sep 17 00:00:00 2001 From: Daniel Strebel Date: Fri, 20 Dec 2024 08:47:33 +0000 Subject: [PATCH] chore: make github output prettier --- tools/pipeline-runner/github-api.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/pipeline-runner/github-api.sh b/tools/pipeline-runner/github-api.sh index dad2e0dd4..80c04dff6 100755 --- a/tools/pipeline-runner/github-api.sh +++ b/tools/pipeline-runner/github-api.sh @@ -18,7 +18,7 @@ buildresult=$(cat) -REPORT_ROWS=$(echo "$buildresult" | awk -F";" '$0="|"$1"|"$2"|"$3"|"' OFS="|") +REPORT_ROWS=$(echo "$buildresult" | awk -F";" '$2 = ($2 == "fail" ? "❌" : "✅") ; $0="|"$1"|"$2"|"$3"|"' OFS="|") REPORT=$(cat <