summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTakeshi KOMIYA <i.tkomiya@gmail.com>2019-12-15 22:04:29 +0900
committerGitHub <noreply@github.com>2019-12-15 22:04:29 +0900
commit2ec6ce85ef781795dcfb63ccef736b33c6ac96a2 (patch)
treed8e6608f42235dee340911099ef528ea5f90b244
parent24908e0fa9868ea278db25161d6b51038f1db3ca (diff)
parent42f6b913332220128e696efcf16fb3fe7c6efc9f (diff)
downloadsphinx-git-2ec6ce85ef781795dcfb63ccef736b33c6ac96a2.tar.gz
Merge pull request #6924 from tk0miya/pinning_coverage
CI: Pinning coverage < 5.0
-rw-r--r--tox.ini1
1 files changed, 1 insertions, 0 deletions
diff --git a/tox.ini b/tox.ini
index 5bc2dec58..922432d67 100644
--- a/tox.ini
+++ b/tox.ini
@@ -10,6 +10,7 @@ description =
py{35,36,37,38}: Run unit tests against {envname}.
du{12,13,14}: Run unit tests with the given version of docutils.
deps =
+ coverage < 5.0 # refs: https://github.com/sphinx-doc/sphinx/pull/6924
du12: docutils==0.12
du13: docutils==0.13.1
du14: docutils==0.14