diff options
| author | EuAndreh <eu@euandre.org> | 2023-03-30 15:23:05 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2023-03-30 15:23:05 -0300 |
| commit | fc15af22490d563be3f66186e95dbbc02401f112 (patch) | |
| tree | 228e8079988efedf7ce637cb74c84555502b20b6 /src/infrastructure/ci/git-post-receive.sh | |
| parent | Makefile: Fix directory of CI output (diff) | |
| download | toph-fc15af22490d563be3f66186e95dbbc02401f112.tar.gz toph-fc15af22490d563be3f66186e95dbbc02401f112.tar.xz | |
conf.env: Separate $HTML_OUTDIR into $HTML_OUTDIR_{OUT,CI}
Notes
See CI logs with:
git notes --ref=refs/notes/ci-logs show fc15af22490d563be3f66186e95dbbc02401f112
git notes --ref=refs/notes/ci-data show fc15af22490d563be3f66186e95dbbc02401f112
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 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/infrastructure/ci/git-post-receive.sh b/src/infrastructure/ci/git-post-receive.sh index 65a17a5..612a268 100755 --- a/src/infrastructure/ci/git-post-receive.sh +++ b/src/infrastructure/ci/git-post-receive.sh @@ -144,7 +144,7 @@ mkdtemp() { --chown=deployer:deployer \ --delete \ -a \ - "$DIR"/ "$HTML_OUTDIR"/ci/ + "$DIR"/ "$HTML_OUTDIR_CI"/ rm -rf "$DIR" } 1>/dev/null 2>&1 & } |