diff options
| author | EuAndreh <eu@euandre.org> | 2023-04-01 22:26:30 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2023-04-01 22:26:30 -0300 |
| commit | e114e11d82d9287d2058ea8bd684199abd00be68 (patch) | |
| tree | e79593f079ce823dc5d89626616fe313b0853b08 /aux/ci/git-post-receive.sh | |
| parent | Revamp code under aux/ (diff) | |
| download | remembering-e114e11d82d9287d2058ea8bd684199abd00be68.tar.gz remembering-e114e11d82d9287d2058ea8bd684199abd00be68.tar.xz | |
aux/ci/git-post-receive.sh: Do not allow CI report to fail
Notes
See CI logs with:
git notes --ref=refs/notes/ci-logs show e114e11d82d9287d2058ea8bd684199abd00be68
git notes --ref=refs/notes/ci-data show e114e11d82d9287d2058ea8bd684199abd00be68
Exit status: 2
Duration: 46
Diffstat (limited to '')
| -rwxr-xr-x | aux/ci/git-post-receive.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/aux/ci/git-post-receive.sh b/aux/ci/git-post-receive.sh index c25649b..76adccf 100755 --- a/aux/ci/git-post-receive.sh +++ b/aux/ci/git-post-receive.sh @@ -147,7 +147,7 @@ mkdtemp() { git clone "$REMOTE" . git fetch origin 'refs/notes/*:refs/notes/*' } 1>/dev/null 2>&1 - sh aux/ci/report.sh -n "$NAME" -o public-ci ||: + sh aux/ci/report.sh -n "$NAME" -o public-ci sudo -u deployer mkdir -p "$HTML_OUTDIR"/ci/ sudo -u deployer rsync \ --chmod=D775,F664 \ |