Add files via upload

pull/1200/head
Mohit Mori 2025-05-04 17:40:19 -07:00 committed by GitHub
parent 587b27cfec
commit 4531ca7262
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 7 additions and 0 deletions

7
mypy.ini 100644
View File

@ -0,0 +1,7 @@
[mypy]
check_untyped_defs = True
disallow_any_generics = True
disallow_untyped_calls = True
disallow_untyped_defs = True
ignore_missing_imports = True
strict_optional = False