Merge pull request #1108 from zama-ai/fix/main_docker

fix(ci): add missing mypy dependency in dockerfile
This commit is contained in:
Quentin Bourgerie
2024-10-21 16:58:29 +02:00
committed by GitHub

View File

@@ -39,7 +39,7 @@ RUN ln -s /opt/python/${python_tag}/bin/pip /bin/pip
RUN ln -s /opt/python/${python_tag}/bin/python /bin/python
ENV PYTHON_EXEC=/opt/python/${python_tag}/bin/python
# Install python deps
RUN pip install numpy pybind11==2.8 PyYAML pytest wheel auditwheel
RUN pip install numpy pybind11==2.8 PyYAML pytest wheel auditwheel mypy
# Setup and build compiler
COPY / /workdir
WORKDIR /workdir/compilers/concrete-compiler/compiler