diff options
-rwxr-xr-x | ci-gen-index.sh | 13 |
1 files changed, 13 insertions, 0 deletions
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> |