diff options
| author | EuAndreh <eu@euandre.org> | 2023-03-30 18:45:48 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2023-03-30 18:45:48 -0300 |
| commit | 8c1592a410f7c35a782db725be522e9f16c94df1 (patch) | |
| tree | b8f2b8ffb59e9b8fa36bf9079fd4be7d02e9a1f7 /src/infrastructure/ci/git-post-receive.sh | |
| parent | git-post-receive.sh: Redirect STDOUT and STDERR so that the terminal SSH sess... (diff) | |
| download | toph-8c1592a410f7c35a782db725be522e9f16c94df1.tar.gz toph-8c1592a410f7c35a782db725be522e9f16c94df1.tar.xz | |
git-post-receive.sh: Notify when report generation ends
Notes
See CI logs with:
git notes --ref=refs/notes/ci-logs show 8c1592a410f7c35a782db725be522e9f16c94df1
git notes --ref=refs/notes/ci-data show 8c1592a410f7c35a782db725be522e9f16c94df1
Exit status: 0
Duration: 21
Diffstat (limited to 'src/infrastructure/ci/git-post-receive.sh')
| -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 |