diff --git a/tests/ci_build/Dockerfile.lint b/tests/ci_build/Dockerfile.lint index be869d8e9faf8449de91e29f6d163d7de9c47319..902c28fde9eef15148fcc383df50e0315821ea8c 100644 --- a/tests/ci_build/Dockerfile.lint +++ b/tests/ci_build/Dockerfile.lint @@ -5,4 +5,4 @@ RUN apt-get update && apt-get install -y sudo wget COPY install/ubuntu_install_python.sh /install/ubuntu_install_python.sh RUN bash /install/ubuntu_install_python.sh RUN apt-get install -y doxygen graphviz -RUN pip3 install cpplint pylint +RUN pip3 install cpplint pylint mypy