From 2406076611ce743598bda2807f11b7f9b009ea87 Mon Sep 17 00:00:00 2001
From: Daniel Hahler <git@thequod.de>
Date: Fri, 17 Jan 2020 06:26:53 +0100
Subject: [PATCH] tox: add mypy-diff testenv

---
 tox.ini | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/tox.ini b/tox.ini
index cf50945fbd7..91c50ececf0 100644
--- a/tox.ini
+++ b/tox.ini
@@ -59,6 +59,15 @@ commands = pre-commit run --all-files --show-diff-on-failure {posargs:}
 extras = checkqa-mypy, testing
 commands = mypy {posargs:src testing}
 
+[testenv:mypy-diff]
+extras = checkqa-mypy, testing
+deps =
+    lxml
+    diff-cover
+commands =
+  -mypy --cobertura-xml-report {envtmpdir} {posargs:src testing}
+  diff-cover --fail-under=100 --compare-branch={env:DIFF_BRANCH:origin/{env:GITHUB_BASE_REF:master}} {envtmpdir}/cobertura.xml
+
 [testenv:docs]
 basepython = python3
 usedevelop = True