diff options
author | Matti Picus <matti.picus@gmail.com> | 2020-10-07 12:16:00 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-10-07 12:16:00 +0300 |
commit | a7a7b6ba1833f7d5a6acd2e3cc63bfd29cc49005 (patch) | |
tree | ea83bd58b9a7a1c3fb8b54a830ed1e1271659025 | |
parent | a818ad5ffddcbea16dafd01c4cc5d2b82e86215d (diff) | |
download | numpy-a7a7b6ba1833f7d5a6acd2e3cc63bfd29cc49005.tar.gz |
Update .circleci/config.yml
Co-authored-by: Eric Wieser <wieser.eric@gmail.com>
-rw-r--r-- | .circleci/config.yml | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/.circleci/config.yml b/.circleci/config.yml index d694230a5..bcebb58b8 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -53,13 +53,9 @@ 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 + SPHINXOPTS="-q -n" make -e html || echo "ignoring errors for now, see gh-13114" - run: name: build devdocs |