diff --git a/.circleci/config.yml b/.circleci/config.yml index cde8013e80e..e94030c1d13 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -14,7 +14,6 @@ commands: # pipeline.git.base_revision is not always defined, so only proceed if all external vars are defined if test -n "<< pipeline.git.base_revision >>" && test -n "<< pipeline.git.revision >>" && test -n "$(git diff --name-only << pipeline.git.base_revision >>...<< pipeline.git.revision >>)" then - git diff --name-only << pipeline.git.base_revision >>...<< pipeline.git.revision >> if git diff --name-only << pipeline.git.base_revision >>...<< pipeline.git.revision >> | egrep -qv '\.(md|rst)$' then echo "Non-docs were modified in this PR, proceeding normally"