From d344161642a93408ed16ff9caa1e1c267ad351ca Mon Sep 17 00:00:00 2001
From: Jared Roesch <roeschinc@gmail.com>
Date: Wed, 20 Jun 2018 12:42:29 -0400
Subject: [PATCH] Add MyPy to lint (#1301)

---
 tests/ci_build/Dockerfile.lint | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/ci_build/Dockerfile.lint b/tests/ci_build/Dockerfile.lint
index be869d8e9..902c28fde 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
-- 
GitLab