Merge pull request #2618 from rcoh/patch-1

Move `set -e` to before the deploy
This commit is contained in:
Oliver Schneider 2018-04-03 08:49:19 +02:00 committed by GitHub
commit c012fecce6
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -50,9 +50,9 @@ script:
after_success: |
#!/bin/bash
if [ $(uname) == Linux ]; then
./.github/deploy.sh
# trigger rebuild of the clippy-service, to keep it up to date with clippy itself
set -e
./.github/deploy.sh
# 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" ] &&
[ "$TRAVIS_BRANCH" == "master" ] &&