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 |