From 849ccbba56f7f12f983bcbb2a6cfdd04329fe2e4 Mon Sep 17 00:00:00 2001 From: EuAndreh Date: Mon, 7 Jun 2021 21:42:08 -0300 Subject: Update files under aux/ --- aux/ci/report.sh | 69 ++++++++++++++++++++++++++++---------------------------- 1 file changed, 35 insertions(+), 34 deletions(-) (limited to 'aux/ci/report.sh') 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 <> "$OUT" - - - + + + + - - - -

- CI logs for $PROJECT_UC -

- + EOF -- cgit v1.2.3