From 49cdb7a7eccc5095d373e0e350c95df50da0208c Mon Sep 17 00:00:00 2001
From: EuAndreh <eu@euandre.org>
Date: Sun, 30 Aug 2020 16:47:43 -0300
Subject: ci-gen-index.sh: Add emoji markers of CI success

---
 ci-gen-index.sh | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/ci-gen-index.sh b/ci-gen-index.sh
index 2c9f777..4de179c 100755
--- a/ci-gen-index.sh
+++ b/ci-gen-index.sh
@@ -24,6 +24,10 @@ cat <<EOF >> index.html
     </h1>
 EOF
 
+PASS='✅'
+FAIL='❌'
+DUNNO='❔'
+
 for dir in */; do
   d="${dir%/}"
   cat <<EOF >> index.html
@@ -35,9 +39,18 @@ for dir in */; do
     <ul>
 EOF
   for file in "$d"/*; do
+    REPORT="$(grep '>>>' "$file" ||:)"
+    if [[ -z "$REPORT" ]]; then
+      STATUS="$DUNNO"
+    elif grep '>>> exit status was 0' <(echo "$REPORT") > /dev/null; then
+      STATUS="$PASS"
+    else
+      STATUS="$FAIL"
+    fi
     cat <<EOF >> index.html
       <li>
         <a href="$file">
+          $STATUS
           <pre>$file</pre>
         </a>
       </li>
-- 
cgit v1.2.3