diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 7559764313..0e5bb96adf 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -167,10 +167,12 @@ checkupdates_runner: - url_host=$(echo "${CI_REPOSITORY_URL}" | sed -e 's|https\?://gitlab-ci-token:.*@|ssh://git@|g') - git remote set-url --push origin "${url_host}" script: - - fdroid checkupdates --allow-dirty --auto --commit ${CHECKUPDATES_APPIDS} || true + - fdroid checkupdates --allow-dirty --auto --commit ${CHECKUPDATES_APPIDS} | tee /tmp/out - git pull --rebase origin master # when two jobs try to push at the same time they occasionally fail, so try one more time if it fails - git push origin HEAD:master || (git pull --rebase origin master && git push origin HEAD:master) + - echo "============== Summary =====================" + - grep -v "INFO: Processing" /tmp/out fdroid build: image: registry.gitlab.com/fdroid/ci-images-client:latest