Add some output to make log reading easier

This commit is contained in:
Philipp Hansch 2018-05-25 08:35:04 +02:00
parent 391562706d
commit 2999be64bc
No known key found for this signature in database
GPG Key ID: B6FA06A6E0E2665B
1 changed files with 2 additions and 0 deletions

View File

@ -74,6 +74,8 @@ after_success: |
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" ] &&