From dab2784cf1591884cdc0f27b50004d262bc3e6cb Mon Sep 17 00:00:00 2001
From: Remco Tukker <remco.tukker@geant.org>
Date: Tue, 2 May 2023 22:40:55 +0200
Subject: [PATCH] make mypy actually work properly

---
 compendium_v2/app.py | 2 +-
 mypy.ini             | 1 -
 tox.ini              | 2 +-
 3 files changed, 2 insertions(+), 3 deletions(-)

diff --git a/compendium_v2/app.py b/compendium_v2/app.py
index 08783494..1d4f3588 100644
--- a/compendium_v2/app.py
+++ b/compendium_v2/app.py
@@ -8,4 +8,4 @@ environment.setup_logging()
 app = compendium_v2.create_app()
 
 if __name__ == '__main__':
-    app.run(host='::', port='5000')
+    app.run(host='::', port=5000)
diff --git a/mypy.ini b/mypy.ini
index cc7d0c82..17c26703 100644
--- a/mypy.ini
+++ b/mypy.ini
@@ -2,4 +2,3 @@
 python_version = 3.8
 disallow_untyped_defs = False
 ignore_missing_imports = False
-exclude = ['env/']
\ No newline at end of file
diff --git a/tox.ini b/tox.ini
index 69c39807..8777ca2a 100644
--- a/tox.ini
+++ b/tox.ini
@@ -18,6 +18,6 @@ commands =
     coverage html
     coverage report --fail-under 80
     flake8
-    mypy compendium_v2/**/*.py test/*.py
+    mypy {toxinidir}/compendium_v2/ {toxinidir}/test/
     sphinx-build -M html docs/source docs/build
 
-- 
GitLab