diff options
Diffstat (limited to 'aux/ci/ci-build.sh')
| -rwxr-xr-x | aux/ci/ci-build.sh | 14 |
1 files changed, 6 insertions, 8 deletions
diff --git a/aux/ci/ci-build.sh b/aux/ci/ci-build.sh index 2ec0102..8d18252 100755 --- a/aux/ci/ci-build.sh +++ b/aux/ci/ci-build.sh @@ -36,12 +36,10 @@ EOF cd - git fetch origin refs/notes/*:refs/notes/* sh aux/ci/report.sh -n "$PROJECT" -o public - rsync -av public/ "/srv/http/$PROJECT/" --delete + rsync -av public/ "/srv/http/$PROJECT/" - if [ -f aux/guix/with-container.sh ]; then - cp "$(sh aux/guix/with-container.sh -C)" \ - "/srv/http/$PROJECT/docker.tar.gz" - fi + tar -C /srv/http -cf /srv/http/"$PROJECT"/repo.tar.gz \ + "$PROJECT".git printf '\n>>>\n>>> CI logs added as Git note.\n>>>\n>>> Run status was %s\n>>>\n\n' \ "$STATUS" @@ -55,11 +53,11 @@ EOF git config --global user.email git@euandre.org git config --global user.name 'EuAndreh CI' - if [ -f aux/guix/with-container.sh ]; then - RUNNER='sh aux/guix/with-container.sh' + if [ -e aux/with-container ]; then + RUNNER='sh aux/with-container' else RUNNER='sh -c' fi - $RUNNER 'make clean public dev-check' + $RUNNER 'make clean dev-check' } 2>&1 | tee "$LOGFILE" |