mirror of
https://github.com/sphinx-doc/sphinx.git
synced 2026-10-26 07:00:14 -05:00
Merge pull request #7249 from blueyed/ci-docs
Use "docs" extra on CircleCI
This commit is contained in:
1 file changed
+1
-1
@@ -7,5 +7,5 @@ jobs:
|
||||
steps:
|
||||
- checkout
|
||||
- run: /python3.6/bin/pip install -U pip setuptools
|
||||
- run: /python3.6/bin/pip install -U .[test,websupport]
|
||||
- run: /python3.6/bin/pip install -U .[test]
|
||||
- run: make test PYTHON=/python3.6/bin/python
|
||||
Reference in new issue
Block a user