diff options
author | EuAndreh <eu@euandre.org> | 2021-08-17 17:02:43 -0300 |
---|---|---|
committer | EuAndreh <eu@euandre.org> | 2021-08-17 17:03:28 -0300 |
commit | 45e2145a719833019bbd95072db98af03647b797 (patch) | |
tree | fe7740c7db05801b463e773b113f8f98a432e3d1 /aux/ci/ci-build.sh | |
parent | TODOs.md: Add #task-e99fa50b-75ea-21fb-6b4d-84447646cdea (diff) | |
download | gistatic-45e2145a719833019bbd95072db98af03647b797.tar.gz gistatic-45e2145a719833019bbd95072db98af03647b797.tar.xz |
aux/, tests/lib.sh: Update
Diffstat (limited to 'aux/ci/ci-build.sh')
-rwxr-xr-x | aux/ci/ci-build.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/aux/ci/ci-build.sh b/aux/ci/ci-build.sh index 396fbff..007e7c4 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.tar.gz" + fi + printf "\n>>>\n>>> CI logs added as Git note." printf "\n>>>\n>>> Run status was %s\n\n" "$STATUS" } |