Skip to content

Commit

Permalink
F* bash
Browse files Browse the repository at this point in the history
  • Loading branch information
Carreau committed Jun 19, 2016
1 parent 60def87 commit 4fcdd97
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions .travis/travis.sh
Original file line number Diff line number Diff line change
Expand Up @@ -11,15 +11,18 @@ should_deploy(){
if [[ $TRAVIS_PULL_REQUEST == false
&& $TRAVIS_REPO_SLUG == 'python/peps'
&& $TRAVIS_BRANCH == 'master' ]]; then
echo 'Should deploy'
return 1
fi

if [[ $TRAVIS_PULL_REQUEST == false
&& $TRAVIS_REPO_SLUG != 'python/peps'
&& $TRAVIS_BRANCH != 'master'
&& $TRAVIS_BRANCH != 'gh-pages' ]]; then
echo 'Should deploy'
return 1
fi
echo 'Should not deploy'
return 0


Expand Down

0 comments on commit 4fcdd97

Please sign in to comment.