diff options
| author | EuAndreh <eu@euandre.org> | 2021-09-13 09:08:01 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2021-09-13 13:13:47 -0300 |
| commit | fc5b013bec8454cf58575c08b4b4d62d930727b5 (patch) | |
| tree | d9e47748d6d38bd6acd0a3ee8f4edb89383fcefd | |
| parent | Makefile: Remove quotes around $(DESTDIR) and $(PREFIX) (diff) | |
| download | git-permalink-fc5b013bec8454cf58575c08b4b4d62d930727b5.tar.gz git-permalink-fc5b013bec8454cf58575c08b4b4d62d930727b5.tar.xz | |
aux/ci/ci-build.sh: Stop generating docker.tar.gz file
| -rwxr-xr-x | aux/ci/ci-build.sh | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/aux/ci/ci-build.sh b/aux/ci/ci-build.sh index 2ec0102..67773fe 100755 --- a/aux/ci/ci-build.sh +++ b/aux/ci/ci-build.sh @@ -38,11 +38,6 @@ EOF sh aux/ci/report.sh -n "$PROJECT" -o public rsync -av public/ "/srv/http/$PROJECT/" --delete - if [ -f aux/guix/with-container.sh ]; then - cp "$(sh aux/guix/with-container.sh -C)" \ - "/srv/http/$PROJECT/docker.tar.gz" - fi - printf '\n>>>\n>>> CI logs added as Git note.\n>>>\n>>> Run status was %s\n>>>\n\n' \ "$STATUS" } |