Skip to content
Snippets Groups Projects

F mypy

Merged Henrik tom Wörden requested to merge f-mypy into dev
2 files
+ 7
1
Compare changes
  • Side-by-side
  • Inline

Files

+ 1
1
@@ -7,4 +7,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