diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 230ca713ae7d1f6fc1de4321f8a60f4cde518a83..c470968e8863318701dcdbdcc5c7f168413f2d4c 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -80,6 +80,7 @@ build: -A testedPackages --keep-going --arg bindistTarball $GHC_TARBALL + --arg extraHcOpts "\"$EXTRA_HC_OPTS\"" || { echo "Build failed!"; ret=1; } - scripts/summarize.py || echo "summarize script failed" - exit $ret