summaryrefslogtreecommitdiff
path: root/.circleci
diff options
context:
space:
mode:
authorDaniel Hahler <git@thequod.de>2020-03-04 16:16:06 +0100
committerDaniel Hahler <git@thequod.de>2020-03-04 19:12:46 +0100
commitc5d42f31846a6bb1a03d6582b447ee34e9569eb3 (patch)
tree7faca18ca4822243c60f2ac3aac0e66308b39ca1 /.circleci
parent8dd83a540e9d943f264c686144dcee1fe7675610 (diff)
downloadsphinx-git-c5d42f31846a6bb1a03d6582b447ee34e9569eb3.tar.gz
Remove unnecessary/missing "websupport" extra on CircleCI
Diffstat (limited to '.circleci')
-rw-r--r--.circleci/config.yml2
1 files changed, 1 insertions, 1 deletions
diff --git a/.circleci/config.yml b/.circleci/config.yml
index 6ca62abb7..04c319340 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -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