2 files changed, 8 insertions, 1 deletions
diff --git a/aux/ci/ci-build.sh b/aux/ci/ci-build.sh
index 7e17a7c..1159204 100755
--- a/aux/ci/ci-build.sh
+++ b/aux/ci/ci-build.sh
@@ -24,6 +24,13 @@ EOF
     git notes --ref=refs/notes/ci-data add -f -m "$STATUS $FILENAME"
     git notes --ref=refs/notes/ci-logs add -f -F "$LOGFILE"
     git notes append -m "$NOTE"
+
+    cd -
+    if [ -f ./aux/ci/report.sh ]; then
+      sh aux/ci/report.sh "$PACKAGE"
+      rsync -avzzP public/ "/srv/http/$PACKAGE/" --delete
+    fi
+
     printf "\n>>>\n>>> CI logs added as Git note.\n>>>\n>>> Run status was %s" "$STATUS"
   }
   trap finish EXIT
diff --git a/aux/ci/report.sh b/aux/ci/report.sh
index b82c061..cb7242f 100755
--- a/aux/ci/report.sh
+++ b/aux/ci/report.sh
@@ -1,5 +1,5 @@
 #!/bin/sh
-set -eu
+set -eux
 
 PROJECT_UC="$1"