mirror of
https://github.com/cisagov/manage.get.gov.git
synced 2025-05-18 18:39:21 +02:00
14 lines
526 B
INI
14 lines
526 B
INI
[mypy]
|
|
plugins =
|
|
mypy_django_plugin.main
|
|
# strict_optional: treat None as compatible with every type?
|
|
# `var: int` is equal to `var: int|None`
|
|
strict_optional = True
|
|
# implicit_optional: treat arguments a None default value as implicitly Optional?
|
|
# `var: int = None` is equal to `var: Optional[int] = None`
|
|
implicit_optional = True
|
|
# we'd still like mypy to succeed when 3rd party libraries are not installed
|
|
ignore_missing_imports = True
|
|
|
|
[mypy.plugins.django-stubs]
|
|
django_settings_module = "registrar.config.settings"
|