From 8c1592a410f7c35a782db725be522e9f16c94df1 Mon Sep 17 00:00:00 2001 From: EuAndreh Date: Thu, 30 Mar 2023 18:45:48 -0300 Subject: git-post-receive.sh: Notify when report generation ends --- src/infrastructure/ci/git-post-receive.sh | 1 + 1 file changed, 1 insertion(+) (limited to 'src') 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 -- cgit v1.2.3