diff options
author | EuAndreh <eu@euandre.org> | 2021-06-07 21:42:08 -0300 |
---|---|---|
committer | EuAndreh <eu@euandre.org> | 2021-06-07 21:42:08 -0300 |
commit | 849ccbba56f7f12f983bcbb2a6cfdd04329fe2e4 (patch) | |
tree | da07e25e8538d952e6202793665a939f28083e3e /aux/ci/report.sh | |
parent | Update link to project websites (diff) | |
download | euandre.org-849ccbba56f7f12f983bcbb2a6cfdd04329fe2e4.tar.gz euandre.org-849ccbba56f7f12f983bcbb2a6cfdd04329fe2e4.tar.xz |
Update files under aux/
Diffstat (limited to 'aux/ci/report.sh')
-rwxr-xr-x | aux/ci/report.sh | 69 |
1 files changed, 35 insertions, 34 deletions
diff --git a/aux/ci/report.sh b/aux/ci/report.sh index b82c061..65d3335 100755 --- a/aux/ci/report.sh +++ b/aux/ci/report.sh @@ -14,55 +14,56 @@ chmod 644 "$OUT" git fetch origin refs/notes/*:refs/notes/* ||: for c in $(git notes list | cut -d\ -f2); do - DATA="$(git notes --ref=refs/notes/ci-data show "$c")" - FILENAME="$(echo "$DATA" | cut -d\ -f2)" - echo "$DATA" > "public/ci-data/$FILENAME" - git notes --ref=refs/notes/ci-logs show "$c" > "public/ci-logs/$FILENAME" + DATA="$(git notes --ref=refs/notes/ci-data show "$c")" + FILENAME="$(echo "$DATA" | cut -d\ -f2)" + echo "$DATA" > "public/ci-data/$FILENAME" + git notes --ref=refs/notes/ci-logs show "$c" > "public/ci-logs/$FILENAME" done cat <<EOF >> "$OUT" <!DOCTYPE html> <html lang="en"> - <head> - <meta charset="UTF-8" /> - <meta name="viewport" content="width=device-width, initial-scale=1" /> + <head> + <meta charset="UTF-8" /> + <meta name="viewport" content="width=device-width, initial-scale=1" /> + <link rel="icon" type="image/svg+xml" href="favicon.svg" /> - <style> - pre { - display: inline; - } - </style> - </head> - <body> - <h1> - CI logs for $PROJECT_UC - </h1> - <ul> + <style> + pre { + display: inline; + } + </style> + </head> + <body> + <h1> + CI logs for $PROJECT_UC + </h1> + <ul> EOF for f in $(find public/ci-data/ -type f | LANG=C.UTF-8 sort -r); do - DATA="$(cat "$f")" - STATUS="$(echo "$DATA" | cut -d\ -f1)" - FILENAME="$(echo "$DATA" | cut -d\ -f2)" + DATA="$(cat "$f")" + STATUS="$(echo "$DATA" | cut -d\ -f1)" + FILENAME="$(echo "$DATA" | cut -d\ -f2)" - if [ "$STATUS" = 0 ]; then - STATUS_MARKER="$PASS" - else - STATUS_MARKER="$FAIL" - fi + if [ "$STATUS" = 0 ]; then + STATUS_MARKER="$PASS" + else + STATUS_MARKER="$FAIL" + fi - cat <<EOF >> "$OUT" - <li> - <a href="ci-logs/$FILENAME"> - $STATUS_MARKER <pre>$FILENAME</pre> - </a> - </li> + cat <<EOF >> "$OUT" + <li> + <a href="ci-logs/$FILENAME"> + $STATUS_MARKER <pre>$FILENAME</pre> + </a> + </li> EOF done cat <<EOF >> "$OUT" - </ul> - </body> + </ul> + </body> </html> EOF |