diff options
| author | EuAndreh <eu@euandre.org> | 2023-03-30 18:53:25 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2023-03-30 18:53:25 -0300 |
| commit | 3d07836f91a70f769dc772d2351c52afb4b55f9e (patch) | |
| tree | e730570b7364bdc14859cda621fd874bf01c63d2 /src/infrastructure/ci/git-post-receive.sh | |
| parent | git-post-receive.sh: Include PID on syslogd entry (diff) | |
| download | toph-3d07836f91a70f769dc772d2351c52afb4b55f9e.tar.gz toph-3d07836f91a70f769dc772d2351c52afb4b55f9e.tar.xz | |
git-post-receive.sh: Notify start of CI HTML report
Notes
See CI logs with:
git notes --ref=refs/notes/ci-logs show 3d07836f91a70f769dc772d2351c52afb4b55f9e
git notes --ref=refs/notes/ci-data show 3d07836f91a70f769dc772d2351c52afb4b55f9e
Exit status: 0
Duration: 20
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 ea2dfcb..0712713 100755 --- a/src/infrastructure/ci/git-post-receive.sh +++ b/src/infrastructure/ci/git-post-receive.sh @@ -137,6 +137,7 @@ mkdtemp() { git notes add -f -m "$NOTE" "$SHA" { + printf 'Git CI HTML report for %s started.\n' "$SHA" >&2 DIR="$(mkdtemp)" report -o "$DIR" sudo -u deployer rsync \ |