From df6743871e18d5b430b8d354bab05ef2d7ea016c Mon Sep 17 00:00:00 2001 From: Brian Beyer Date: Mon, 21 May 2018 20:40:18 +0200 Subject: [PATCH] update circle build to not build docs on master because they should be built on PR branches --- .circleci/config.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.circleci/config.yml b/.circleci/config.yml index e56b84df..f622fd5f 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -36,6 +36,8 @@ jobs: if git diff-index --quiet HEAD -- ; then echo "Not committing documentation because there are no changes" + elif [[ "${CIRCLE_BRANCH}" == "master" ]]; then + echo "Not committing documentation because we are on master and doc changes should be part of pull request branches" else git config credential.helper 'cache --timeout=120' git config user.email ""