Install mypy as a dev dependency

Josef-Friedrich · Dec 25, 2024 · 955b0ae · 955b0ae
1 parent 2112923
commit 955b0ae
Show file tree

Hide file tree

Showing 4 changed files with 68 additions and 5 deletions.
diff --git a/.vscode/settings.json b/.vscode/settings.json
@@ -22,5 +22,6 @@
     "${workspaceFolder}/tests",
     "-m",
     "not (slow or gui)"
-  ]
+  ],
+  "mypy.dmypyExecutable": "${workspaceFolder}/.venv/bin/dmypy"
 }
diff --git a/docs/conf.py b/docs/conf.py
@@ -9,10 +9,7 @@
 from datetime import datetime
 from importlib.metadata import version as get_version
 
-import sphinx_rtd_theme  # type: ignore
-
 html_theme = "sphinx_rtd_theme"
-html_theme_path: list[str] = [sphinx_rtd_theme.get_html_theme_path()]
 
 extensions: list[str] = [
     "sphinx.ext.autodoc",

diff --git a/poetry.lock b/poetry.lock
diff --git a/pyproject.toml b/pyproject.toml
@@ -33,6 +33,7 @@ ruff = "^0"
 pytest = "^8"
 Sphinx = "7"
 sphinx-rtd-theme = "2"
+mypy = "^1"
 
 [build-system]
 requires = ["poetry-core"]