Merge pull request #2800 from phansch/no_deploy_in_integration_tests

Don't run deploy script in integration tests
This commit is contained in:
Philipp Hansch 2018-05-25 10:03:32 +02:00 committed by GitHub
commit 6f9b3ca346
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -61,7 +61,11 @@ after_success: |
#!/bin/bash
if [ $(uname) == Linux ]; then
set -ex
./.github/deploy.sh
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" ] &&
[ "$TRAVIS_REPO_SLUG" == "Manishearth/rust-clippy" ] &&