Don't deploy documentation on PR

This commit is contained in:
squidfunk 2017-04-06 23:51:41 +02:00 committed by Martin Donath
parent 100f6c0e3b
commit ed0f7b96fe

View File

@ -25,7 +25,7 @@ yarn run build
[ $? -gt 0 ] && exit 1 [ $? -gt 0 ] && exit 1
# Deploy documentation to GitHub pages # Deploy documentation to GitHub pages
if [[ "$TRAVIS_BRANCH" == "master" ]]; then if [ "$TRAVIS_BRANCH" == "master" -a "$TRAVIS_PULL_REQUEST" == "false" ]; then
REMOTE="https://${GH_TOKEN}@github.com/squidfunk/mkdocs-material" REMOTE="https://${GH_TOKEN}@github.com/squidfunk/mkdocs-material"
# Set configuration for repository and deploy documentation # Set configuration for repository and deploy documentation