diff options
author | EuAndreh <eu@euandre.org> | 2023-03-30 16:02:42 -0300 |
---|---|---|
committer | EuAndreh <eu@euandre.org> | 2023-03-30 16:02:42 -0300 |
commit | 8cdf792b5d14295b44c0e4bb7753722f09382560 (patch) | |
tree | 73a6e8993aa27558cad00b5cdc8b06d9185da853 | |
parent | reconfigure: Stop deleting CI directory again (diff) | |
download | toph-8cdf792b5d14295b44c0e4bb7753722f09382560.tar.gz toph-8cdf792b5d14295b44c0e4bb7753722f09382560.tar.xz |
git-post-receive.sh: Send CI report output to syslog over /dev/null
Notes
See CI logs with:
git notes --ref=refs/notes/ci-logs show 8cdf792b5d14295b44c0e4bb7753722f09382560
git notes --ref=refs/notes/ci-data show 8cdf792b5d14295b44c0e4bb7753722f09382560
Exit status: 0
Duration: 19
-rwxr-xr-x | src/infrastructure/ci/git-post-receive.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/infrastructure/ci/git-post-receive.sh b/src/infrastructure/ci/git-post-receive.sh index 612a268..c21931e 100755 --- a/src/infrastructure/ci/git-post-receive.sh +++ b/src/infrastructure/ci/git-post-receive.sh @@ -146,7 +146,7 @@ mkdtemp() { -a \ "$DIR"/ "$HTML_OUTDIR_CI"/ rm -rf "$DIR" - } 1>/dev/null 2>&1 & + } 2>&1 | logger -p local0.warn -t git-ci & } trap finish EXIT |