diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 0e5bb96adf..18933bd6c6 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -172,7 +172,7 @@ checkupdates_runner: # 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 + - 'grep -v "INFO: Processing" /tmp/out' fdroid build: image: registry.gitlab.com/fdroid/ci-images-client:latest