diff options
Diffstat (limited to 'tox.ini')
-rw-r--r-- | tox.ini | 9 |
1 files changed, 9 insertions, 0 deletions
@@ -200,6 +200,15 @@ deps = commands = {envpython} -m mypy qutebrowser tests {posargs} +[testenv:mypy-diff] +basepython = {env:PYTHON:python3} +pip_version = pip +passenv = {[testenv:mypy]passenv} +deps = {[testenv:mypy]deps} +commands = + {envpython} -m mypy --cobertura-xml-report {envtmpdir} qutebrowser tests {posargs} + {envdir}/bin/diff-cover --fail-under=100 --compare-branch={env:DIFF_BRANCH:origin/{env:GITHUB_BASE_REF:master}} {envtmpdir}/cobertura.xml + [testenv:sphinx] basepython = {env:PYTHON:python3} pip_version = pip |