Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/sphinx-doc/sphinx.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTakeshi KOMIYA <i.tkomiya@gmail.com>2020-08-13 19:29:01 +0300
committerGitHub <noreply@github.com>2020-08-13 19:29:01 +0300
commit5f420a4d8fd0a97faddcad5a46b9048563a66239 (patch)
tree91fe00767c580a9d0083f87f6f5478f00038ecbb /tox.ini
parent823bc30303f802513265feb1cacb19118c0e330e (diff)
parent6cf1301c9e479bc886a237ece76d0b8ae8675a41 (diff)
Merge pull request #8090 from tk0miya/remove_pylint
Remove pylint task
Diffstat (limited to 'tox.ini')
-rw-r--r--tox.ini10
1 files changed, 0 insertions, 10 deletions
diff --git a/tox.ini b/tox.ini
index 119944d6e..a61299979 100644
--- a/tox.ini
+++ b/tox.ini
@@ -41,16 +41,6 @@ extras =
commands =
flake8 {posargs}
-[testenv:pylint]
-basepython = python3
-description =
- Run source code analyzer.
-deps =
- pylint
- {[testenv]deps}
-commands =
- pylint --rcfile utils/pylintrc sphinx
-
[testenv:coverage]
basepython = python3
description =