From fa498d319bf3d73febbbd3e0169436aac70a9098 Mon Sep 17 00:00:00 2001 From: Tomas Krizek Date: Thu, 18 Jan 2018 17:16:58 +0100 Subject: [PATCH] ci: docker - add flake8, remove infer We do not use Infer after all (see MR !435) so it does not make sense to have it in the image. --- ci/Dockerfile | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/ci/Dockerfile b/ci/Dockerfile index 91f22323f..7a72190aa 100644 --- a/ci/Dockerfile +++ b/ci/Dockerfile @@ -54,6 +54,7 @@ RUN rm -rf /tmp/resolver-benchmarking # Python static analysis for respdiff RUN pip3 install mypy +RUN pip3 install flake8 # Unbound for respdiff RUN apt-get install unbound unbound-anchor -y -qqq @@ -72,6 +73,3 @@ RUN luarocks install luacov # LuaJIT binary for stand-alone scripting RUN apt-get install -y -qqq luajit - -# infer for static analysis -RUN wget -q -O - https://github.com/facebook/infer/releases/download/v0.13.0/infer-linux64-v0.13.0.tar.xz | tar xJ && mv infer-linux64* /var/opt/infer -- 2.47.2