Bump mypy to 1.5.1 (#10559)

This commit is contained in:
Alex Waygood
2023-08-16 20:18:31 +01:00
committed by GitHub
parent 695d41f487
commit ef758b66c0
12 changed files with 18 additions and 272 deletions

View File

@@ -97,11 +97,11 @@
"mypy-type-checker.importStrategy": "fromEnvironment",
"mypy-type-checker.args": [
"--custom-typeshed-dir=${workspaceFolder}",
"--python-version=3.7",
"--strict"
// Needed because a library stubbed in typeshed won't necessarily be installed inthe dev's environment
// Currentyl broken in dmypy: https://github.com/python/mypy/issues/10709
// "--ignore-missing-imports"
// We only guarantee all of our tests can be run if you're on Python 3.9 or higher
"--python-version=3.9",
"--strict",
// Needed because a library stubbed in typeshed won't necessarily be installed in the dev's environment
"--ignore-missing-imports"
],
// Ensure typeshed's configs are used, and not user's VSCode settings
"flake8.args": [