diff options
| author | fanquake <fanquake@gmail.com> | 2021-10-07 14:14:57 +0800 |
|---|---|---|
| committer | fanquake <fanquake@gmail.com> | 2021-10-16 09:14:36 +0800 |
| commit | 22e652662bb1fb9bd7ae6ab01c20665ad1c57895 (patch) | |
| tree | 8e33c6c31c12d192e599e512d6bc391901ae70dd /ci | |
| parent | 6ae9c2ef23e50733991e2836925006387fda3eb7 (diff) | |
lint mypy 0.910
Diffstat (limited to 'ci')
| -rwxr-xr-x | ci/lint/04_install.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/lint/04_install.sh b/ci/lint/04_install.sh index b84639aed3..991234a436 100755 --- a/ci/lint/04_install.sh +++ b/ci/lint/04_install.sh @@ -13,7 +13,7 @@ update-alternatives --install /usr/bin/clang-format-diff clang-format-diff $(whi ${CI_RETRY_EXE} pip3 install codespell==2.0.0 ${CI_RETRY_EXE} pip3 install flake8==3.8.3 -${CI_RETRY_EXE} pip3 install mypy==0.781 +${CI_RETRY_EXE} pip3 install mypy==0.910 ${CI_RETRY_EXE} pip3 install pyzmq==22.3.0 ${CI_RETRY_EXE} pip3 install vulture==2.3 |