From b5df1b9c093db081950e660af1793717d1f7ba55 Mon Sep 17 00:00:00 2001
From: Daniel Strebel <strebel@google.com>
Date: Fri, 20 Dec 2024 15:26:26 +0000
Subject: [PATCH] chore: github UX

---
 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 ac10b11c..6a550b16 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, -v OFS='|' '{gsub(/pass/, "✅"); gsub(/fail/, "❌"); print "|" $1 "|" $2 "|" $3 "|"}')
+REPORT_ROWS=$(echo "$buildresult" | awk -F\; -v OFS='|' '{gsub(/pass/, "✅"); gsub(/fail/, "❌"); print "|" $1 "|" $2 "|" $3 "|"}')
 
 REPORT=$(cat <<EOF
 ### Pipeline Report