Skip to content
Snippets Groups Projects

F mypy

Merged Henrik tom Wörden requested to merge f-mypy into dev
Files
2
@@ -11,4 +11,4 @@ RUN apt-get update && \
ARG COMMIT="dev"
RUN git clone -b dev https://gitlab.indiscale.com/caosdb/src/caosdb-pylib.git && \
cd caosdb-pylib && git checkout $COMMIT && pip3 install .
RUN pip3 install recommonmark sphinx-rtd-theme
RUN pip3 install recommonmark sphinx-rtd-theme mypy
Loading