diff options
| author | EuAndreh <eu@euandre.org> | 2021-06-07 22:10:37 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2021-06-07 22:10:39 -0300 |
| commit | b681cf78bd1a20e25ccb8a4381ae470da6f0cc83 (patch) | |
| tree | 78d701f49f25986ac856645d936e7c4d3f69e63b /aux/ci/report.sh | |
| parent | TODOs.md: Add #task-93510453-111f-9b1f-575f-ca8c7c05883c (diff) | |
| download | euandre.org-b681cf78bd1a20e25ccb8a4381ae470da6f0cc83.tar.gz euandre.org-b681cf78bd1a20e25ccb8a4381ae470da6f0cc83.tar.xz | |
Remove CI files under aux/: remove website from CI
Since I'm already only publishing from my local machine.
Diffstat (limited to 'aux/ci/report.sh')
| -rwxr-xr-x | aux/ci/report.sh | 70 |
1 files changed, 0 insertions, 70 deletions
diff --git a/aux/ci/report.sh b/aux/ci/report.sh deleted file mode 100755 index 65d3335..0000000 --- a/aux/ci/report.sh +++ /dev/null @@ -1,70 +0,0 @@ -#!/bin/sh -set -eu - -PROJECT_UC="$1" - -PASS='✅' -FAIL='❌' - -mkdir -p public/ci-logs public/ci-data - -OUT="$(mktemp)" -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" -done - -cat <<EOF >> "$OUT" -<!DOCTYPE html> -<html lang="en"> - <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> -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)" - - 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> -EOF -done - -cat <<EOF >> "$OUT" - </ul> - </body> -</html> -EOF - -mv "$OUT" public/ci.html |