From 4a27fa561f9f1fb1ea8cf7e6b7921b40fcb103f4 Mon Sep 17 00:00:00 2001
From: Martin Wendt <github@wwwendt.de>
Date: Fri, 1 Nov 2024 09:44:05 +0100
Subject: [PATCH] Add `tox -e mypy`

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

diff --git a/tox.ini b/tox.ini
index b54fcbc..83e4385 100644
--- a/tox.ini
+++ b/tox.ini
@@ -95,6 +95,17 @@ commands =
 ; ignore_outcome = true
 
 
+[testenv:mypy]
+skip_install = true
+deps =
+    lxml
+    mypy
+changedir = {toxinidir}
+commands =
+    mypy nutree --html-report build/mypy
+ignore_outcome = true
+
+
 [testenv:docs]
 description = Build Sphinx documentation (output directory: docs/sphinx-build)
 deps =