diff options
| author | EuAndreh <eu@euandre.org> | 2020-08-30 16:47:43 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2020-08-30 16:47:43 -0300 |
| commit | 49cdb7a7eccc5095d373e0e350c95df50da0208c (patch) | |
| tree | 4624676f05881896d9b829adec4f4983bcd988f3 | |
| parent | Include euandreh.cachix.org as a public binary cache (diff) | |
| download | server-49cdb7a7eccc5095d373e0e350c95df50da0208c.tar.gz server-49cdb7a7eccc5095d373e0e350c95df50da0208c.tar.xz | |
ci-gen-index.sh: Add emoji markers of CI success
| -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> |