diff options
| author | EuAndreh <eu@euandre.org> | 2023-03-30 15:39:40 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2023-03-30 15:39:40 -0300 |
| commit | 1931c36d6db7d08bf28c3fef8d9a67b8221d453f (patch) | |
| tree | 5f74d85bb1abad4245427664e2202238a0fd461b /src/infrastructure/ci/git-post-receive.sh | |
| parent | conf.env: Separate $HTML_OUTDIR into $HTML_OUTDIR_{OUT,CI} (diff) | |
| download | server-1931c36d6db7d08bf28c3fef8d9a67b8221d453f.tar.gz server-1931c36d6db7d08bf28c3fef8d9a67b8221d453f.tar.xz | |
reconfigure: Stop deleting CI directory again
Notes
See CI logs with:
git notes --ref=refs/notes/ci-logs show 1931c36d6db7d08bf28c3fef8d9a67b8221d453f
git notes --ref=refs/notes/ci-data show 1931c36d6db7d08bf28c3fef8d9a67b8221d453f
Exit status: 1
Duration: 17
Diffstat (limited to 'src/infrastructure/ci/git-post-receive.sh')
0 files changed, 0 insertions, 0 deletions