diff options
author | Daniel Hahler <git@thequod.de> | 2020-03-04 16:16:06 +0100 |
---|---|---|
committer | Daniel Hahler <git@thequod.de> | 2020-03-04 19:12:46 +0100 |
commit | c5d42f31846a6bb1a03d6582b447ee34e9569eb3 (patch) | |
tree | 7faca18ca4822243c60f2ac3aac0e66308b39ca1 /.circleci | |
parent | 8dd83a540e9d943f264c686144dcee1fe7675610 (diff) | |
download | sphinx-git-c5d42f31846a6bb1a03d6582b447ee34e9569eb3.tar.gz |
Remove unnecessary/missing "websupport" extra on CircleCI
Diffstat (limited to '.circleci')
-rw-r--r-- | .circleci/config.yml | 2 |
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 |