From a6f8ede86816fc8359be92ecffebd7cbea86ab40 Mon Sep 17 00:00:00 2001
From: Daniel de Leng <dnleng@protonmail.com>
Date: Tue, 2 Jul 2024 22:32:08 +0200
Subject: [PATCH] Rework Dockerfile to use correct version of mypy

---
 docker/Dockerfile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/docker/Dockerfile b/docker/Dockerfile
index 7844d2cb4..fdc744993 100644
--- a/docker/Dockerfile
+++ b/docker/Dockerfile
@@ -3,7 +3,8 @@
 FROM ubuntu:24.04
 LABEL org.opencontainers.image.authors="daniel.de.leng@liu.se"
 
-RUN apt update && apt install -y build-essential cmake python3-full python3-pybind11 python3-pip python3-sphinx python3-sphinx-design python3-mypy python3-mypy-extensions
+RUN apt update && apt install -y build-essential cmake python3-full python3-pybind11 python3-pip python3-sphinx python3-sphinx-design
+RUN pip3 install mypy==1.10.0 --break-system-packages  # Workaround for python3-mypy having outdated version <1.10.0
 
 ENV HOME=/root
 WORKDIR /root
-- 
GitLab