diff options
| -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" } |