ignore missing z3 stubs

jonasrenault · Dec 13, 2024 · 5e7966e · 5e7966e
1 parent fce54b4
commit 5e7966e
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/pyproject.toml b/pyproject.toml
@@ -63,3 +63,7 @@ known-first-party = ["advent"]
 [tool.mypy]
 files = ["advent"]
 exclude = ["templates"]
+
+[[tool.mypy.overrides]]
+module = "z3.*"
+ignore_missing_imports = true