mirror of
https://github.com/OpenHands/OpenHands.git
synced 2025-12-26 13:52:43 +08:00
10 lines
223 B
INI
10 lines
223 B
INI
[mypy]
|
|
warn_unused_configs = True
|
|
ignore_missing_imports = True
|
|
check_untyped_defs = True
|
|
explicit_package_bases = True
|
|
warn_unreachable = True
|
|
warn_redundant_casts = True
|
|
no_implicit_optional = True
|
|
strict_optional = True
|