chore: repo - flatten tool mirrors

2026-08-25 00:28:24 +00:00 · 2026-02-26 08:05:07 +08:00
parent 921bdf3f6a
commit 88d57b3bc7
402 changed files with 131 additions and 266 deletions
@@ -0,0 +1,13 @@
+[mypy]
+python_version = 3.10
+warn_return_any = False
+warn_unused_configs = True
+disallow_untyped_defs = False
+check_untyped_defs = True
+ignore_missing_imports = True
+no_implicit_optional = True
+show_error_codes = True
+
+# Gradual typing - be lenient for now
+disallow_incomplete_defs = False
+disallow_untyped_calls = False