mirror of
https://github.com/sphinx-doc/sphinx.git
synced 2025-02-25 18:55:22 -06:00
Remove unnecessary/missing "websupport" extra on CircleCI
This commit is contained in:
parent
8dd83a540e
commit
c5d42f3184
@ -7,5 +7,5 @@ jobs:
|
|||||||
steps:
|
steps:
|
||||||
- checkout
|
- checkout
|
||||||
- run: /python3.6/bin/pip install -U pip setuptools
|
- 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
|
- run: make test PYTHON=/python3.6/bin/python
|
||||||
|
Loading…
Reference in New Issue
Block a user