diff options
| -rw-r--r-- | .circleci/config.yml | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/.circleci/config.yml b/.circleci/config.yml index 7fd46a931..d77cde59b 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -52,13 +52,10 @@ jobs: - run: name: build devdocs w/ref warnings command: | - set +e - # allow this to fail for now: issue 13114 . venv/bin/activate cd doc - SPHINXOPTS="-q -n" make -e html - # clear the error - echo ok + # Don't use -q, show warning summary" + SPHINXOPTS="-n" make -e html || echo "ignoring errors for now, see gh-13114" - run: name: build devdocs |