Spaces:
Running
Running
Update mypy.ini
Browse files
mypy.ini
CHANGED
@@ -1,7 +1,9 @@
|
|
1 |
-
[mypy]
|
2 |
-
check_untyped_defs = True
|
3 |
-
disallow_any_generics = True
|
4 |
-
disallow_untyped_calls = True
|
5 |
-
disallow_untyped_defs = True
|
6 |
-
ignore_missing_imports = True
|
7 |
-
strict_optional =
|
|
|
|
|
|
1 |
+
[mypy]
|
2 |
+
check_untyped_defs = True
|
3 |
+
disallow_any_generics = True
|
4 |
+
disallow_untyped_calls = True
|
5 |
+
disallow_untyped_defs = True
|
6 |
+
ignore_missing_imports = True
|
7 |
+
strict_optional = True
|
8 |
+
share=True
|
9 |
+
|