Skip to content
Snippets Groups Projects
Commit a6f8ede8 authored by Daniel de Leng's avatar Daniel de Leng
Browse files

Rework Dockerfile to use correct version of mypy

parent 2c817e33
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 2 additions and 1 deletion
docker/Dockerfile
+ 2
− 1
View file @ a6f8ede8
......@@ -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
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment