This test has one test case which is marked as an integration test,
and the other is not an integration test, but was using the integration
cli. The integration cli does not work correctly if not run in
integration mode.

This was causing an error locally in conftest.py when trying to
create a tmpdir inside a nonexisting integration cache directory.

tests/integration/pullbuildtrees.py: Fix the non-integration case.

See merge request !1098

Chandan Singh authored Jan 21, 2019 and Chandan Singh committed Jan 23, 2019

https://github.com/rtfd/sphinx_rtd_theme/pull/672 has been fixed
upstream, and the newer versions of `sphinx_rtd_theme` do not break
search functionality with Sphinx >= 1.8.

tox.ini: Unpin sphinx dependency

See merge request !1093

Valentin David authored Jan 21, 2019 and Valentin David committed Jan 23, 2019

Fixes #873