From dbd2db90d7191427d91c2724d21a85b8d158aeb6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ole=20Sch=C3=BCtt?= Date: Mon, 14 Jun 2021 15:40:03 +0200 Subject: [PATCH] Docker: Freeze version of mypy --- tools/docker/scripts/install_python.sh | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/tools/docker/scripts/install_python.sh b/tools/docker/scripts/install_python.sh index f2e3c527c0..5f8f7a573b 100755 --- a/tools/docker/scripts/install_python.sh +++ b/tools/docker/scripts/install_python.sh @@ -16,6 +16,11 @@ apt-get install -qq --no-install-recommends \ rm -rf /var/lib/apt/lists/* # install python packages -pip3 install --quiet numpy matplotlib requests mypy +pip3 install --quiet \ + numpy \ + matplotlib \ + requests \ + types-requests \ + mypy==0.902 #EOF