mirror of https://gitlab.com/tildes/tildes.git
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
13 lines
290 B
13 lines
290 B
[mypy]
|
|
mypy_path = /opt/tildes/stubs/
|
|
disallow_untyped_defs = true
|
|
ignore_missing_imports = true
|
|
no_implicit_optional = true
|
|
pretty = true
|
|
show_error_codes = true
|
|
show_error_context = true
|
|
warn_redundant_casts = true
|
|
warn_unused_ignores = true
|
|
|
|
[mypy-tests.*]
|
|
disallow_untyped_defs = false
|