diff options
author | fanquake <fanquake@gmail.com> | 2022-04-07 12:50:41 +0100 |
---|---|---|
committer | fanquake <fanquake@gmail.com> | 2022-04-07 12:50:54 +0100 |
commit | 864772c4f753284964538a83e1419b9338a6d84a (patch) | |
tree | f8acda54a4e73ea9662f6ae14ec61843bba4fc71 /ci | |
parent | 38031adee808c6a3f191a03b95403c38d00195dd (diff) |
lint: mypy 0.942
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 4f1ee79a95..8330df87eb 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 "$(wh ${CI_RETRY_EXE} pip3 install codespell==2.1.0 ${CI_RETRY_EXE} pip3 install flake8==4.0.1 -${CI_RETRY_EXE} pip3 install mypy==0.910 +${CI_RETRY_EXE} pip3 install mypy==0.942 ${CI_RETRY_EXE} pip3 install pyzmq==22.3.0 ${CI_RETRY_EXE} pip3 install vulture==2.3 |