Add MyPy to lint (#1301)

d3441616 · Jared Roesch · Tianqi Chen · 9894ce1c · d3441616
Commit d3441616 authored Jun 20, 2018 by Jared Roesch Committed by Tianqi Chen Jun 20, 2018
Hide whitespace changes
Inline Side-by-side

Showing with 1 additions and 1 deletions

tests/ci_build/Dockerfile.lint
+1 -1

No files found.
--- 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