aboutsummaryrefslogtreecommitdiff
path: root/aux/ci
diff options
context:
space:
mode:
Diffstat (limited to 'aux/ci')
-rwxr-xr-xaux/ci/ci-build.sh5
1 files changed, 5 insertions, 0 deletions
diff --git a/aux/ci/ci-build.sh b/aux/ci/ci-build.sh
index 396fbff..43cdb85 100755
--- a/aux/ci/ci-build.sh
+++ b/aux/ci/ci-build.sh
@@ -38,6 +38,11 @@ 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-pack.tar.gz"
+ fi
+
printf "\n>>>\n>>> CI logs added as Git note."
printf "\n>>>\n>>> Run status was %s\n\n" "$STATUS"
}