Skip to content
Snippets Groups Projects
Commit a4e43ef2 authored by Joscha Schmiedt's avatar Joscha Schmiedt
Browse files

Install mypy via pip instead of apt

parent 5113f763
No related branches found
No related tags found
2 merge requests!143Release 0.15.0,!66F mypy
Pipeline #48470 passed with warnings
This commit is part of merge request !66. Comments created here will be created in the context of that merge request.
...@@ -7,9 +7,9 @@ RUN apt-get update && \ ...@@ -7,9 +7,9 @@ RUN apt-get update && \
apt-get install -y \ apt-get install -y \
pylint3 python3-pip tox git \ pylint3 python3-pip tox git \
curl pycodestyle \ curl pycodestyle \
python3-sphinx python3-mypy python3-sphinx
ARG COMMIT="dev" ARG COMMIT="dev"
# TODO Rename to linkahead # TODO Rename to linkahead
RUN git clone -b dev https://gitlab.indiscale.com/caosdb/src/caosdb-pylib.git linkahead-pylib && \ RUN git clone -b dev https://gitlab.indiscale.com/caosdb/src/caosdb-pylib.git linkahead-pylib && \
cd linkahead-pylib && git checkout $COMMIT && pip3 install . cd linkahead-pylib && git checkout $COMMIT && pip3 install .
RUN pip3 install recommonmark sphinx-rtd-theme RUN pip3 install recommonmark sphinx-rtd-theme mypy
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment