mypy can skip that module

HypothesisWorks · Jan 27, 2025 · c8a8d1f · c8a8d1f
1 parent 79776e3
commit c8a8d1f
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/pyproject.toml b/pyproject.toml
@@ -101,3 +101,7 @@ warn_unused_configs = true
 warn_redundant_casts = true
 
 disable_error_code = "annotation-unchecked"
+
+[[tool.mypy.overrides]]
+module = "_hypothesis_globals.*"
+ignore_missing_imports = True