Merge branch 'contrib/github_pr_8834' into 'master'

Tools: bump mypy version (GitHub PR)

Closes IDFGH-7240

See merge request espressif/esp-idf!17908
This commit is contained in:
Roland Dobai
2022-04-27 19:59:30 +08:00

View File

@@ -94,7 +94,7 @@ repos:
name: Check type annotations in python files name: Check type annotations in python files
entry: tools/ci/check_type_comments.py entry: tools/ci/check_type_comments.py
additional_dependencies: additional_dependencies:
- 'mypy==0.800' - 'mypy==0.940'
- 'mypy-extensions==0.4.3' - 'mypy-extensions==0.4.3'
language: python language: python
types: [python] types: [python]