set -ex
if [ -z ${INTEGRATION} ]; then
./.github/deploy.sh
+ else
+ echo "Not deploying, because we're in an integration test run"
fi
# trigger rebuild of the clippy-service, to keep it up to date with clippy itself
if [ "$TRAVIS_PULL_REQUEST" == "false" ] &&