diff options
author | EuAndreh <eu@euandre.org> | 2023-03-30 18:56:31 -0300 |
---|---|---|
committer | EuAndreh <eu@euandre.org> | 2023-03-30 18:56:31 -0300 |
commit | 81a3c91cb57d001cbe8d4e40e0d1da9ee2db03b7 (patch) | |
tree | c931f39dac91b7ee8860a3a6b47db3c62a35659f | |
parent | git-post-receive.sh: Include project name in CI log entry (diff) | |
download | toph-81a3c91cb57d001cbe8d4e40e0d1da9ee2db03b7.tar.gz toph-81a3c91cb57d001cbe8d4e40e0d1da9ee2db03b7.tar.xz |
git-post-receive.sh: report s/finished/generated/
Notes
See CI logs with:
git notes --ref=refs/notes/ci-logs show 81a3c91cb57d001cbe8d4e40e0d1da9ee2db03b7
git notes --ref=refs/notes/ci-data show 81a3c91cb57d001cbe8d4e40e0d1da9ee2db03b7
Exit status: 1
Duration: 11
-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 a4b2d1d..74ae139 100755 --- a/src/infrastructure/ci/git-post-receive.sh +++ b/src/infrastructure/ci/git-post-receive.sh @@ -148,7 +148,7 @@ mkdtemp() { -a \ "$DIR"/ "$HTML_OUTDIR_CI"/ rm -rf "$DIR" - printf 'Git CI HTML report for %s (%s) generated.\n' "$SHA" >&2 + printf 'Git CI HTML report for %s (%s) finished.\n' "$SHA" >&2 } 2>&1 | logger -i -p local0.warn -t git-ci 1>/dev/null 2>&1 & } trap finish EXIT |