diff options
Diffstat (limited to 'src/infrastructure/ci')
| -rwxr-xr-x | src/infrastructure/ci/git-post-receive.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/infrastructure/ci/git-post-receive.sh b/src/infrastructure/ci/git-post-receive.sh index f0dce5d..9dc05e7 100755 --- a/src/infrastructure/ci/git-post-receive.sh +++ b/src/infrastructure/ci/git-post-receive.sh @@ -146,6 +146,7 @@ mkdtemp() { -a \ "$DIR"/ "$HTML_OUTDIR_CI"/ rm -rf "$DIR" + printf 'Git CI HTML report for %s generated.\n' "$SHA" >&2 } 2>&1 | logger -p local0.warn -t git-ci 1>/dev/null 2>&1 & } trap finish EXIT |