keep working

umrover · Sep 24, 2023 · fb7dd17 · fb7dd17
1 parent ee8aa1a
commit fb7dd17
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.vscode/settings.json b/.vscode/settings.json
@@ -30,6 +30,10 @@
     "[python]": {
         "editor.defaultFormatter": "ms-python.black-formatter",
     },
+    "mypy-type-checker.args": [
+        "--config-file=${workspaceFolder}/mypy.ini",
+    ],
     //// Miscellaneous
     "redhat.telemetry.enabled": false,
+    "python.analysis.typeCheckingMode": "basic",
 }