diff options
| author | EuAndreh <eu@euandre.org> | 2021-06-07 22:55:16 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2021-06-07 22:55:16 -0300 |
| commit | f5ec71eadaf1e1479fbb8b5884edc4a87a8d2f63 (patch) | |
| tree | 525a4ec4d34f5417c623dd24bd855cddee151938 /aux/ci/ci-build.sh | |
| parent | TODOs.md: Mark #task-4686d9a5-3514-e7f2-25de-b3cf66199124 as CANCELLED (diff) | |
| download | remembering-f5ec71eadaf1e1479fbb8b5884edc4a87a8d2f63.tar.gz remembering-f5ec71eadaf1e1479fbb8b5884edc4a87a8d2f63.tar.xz | |
Update files under aux/
Diffstat (limited to 'aux/ci/ci-build.sh')
| -rwxr-xr-x | aux/ci/ci-build.sh | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/aux/ci/ci-build.sh b/aux/ci/ci-build.sh index 4214ae2..b6769a9 100755 --- a/aux/ci/ci-build.sh +++ b/aux/ci/ci-build.sh @@ -25,6 +25,10 @@ EOF git notes --ref=refs/notes/ci-logs add -f -F "$LOGFILE" git notes append -m "$NOTE" + cd - + sh aux/ci/report.sh "$PACKAGE" + rsync -a public/ "/srv/http/$PACKAGE/" --delete + printf "\n>>>\n>>> CI logs added as Git note.\n>>>\n>>> Run status was %s" "$STATUS" } trap finish EXIT @@ -45,6 +49,4 @@ EOF fi $RUNNER 'make clean public dev-check' - - rsync -a public/ "/srv/http/$PACKAGE/" --delete } 2>&1 | tee "$LOGFILE" |