Commit 07ef191f authored by René Fritze's avatar René Fritze Committed by René Fritze

[ci] fix make docker_docs target

parent 76b39bdd
Pipeline #50260 passed with stages
in 89 minutes and 8 seconds
......@@ -50,9 +50,7 @@ services:
command: "/src/.ci/gitlab/script.bash"
docs:
image: pymor_local_dev
depends_on:
- pytest
image: pymor/jupyter_py3.7:${CI_IMAGE_TAG}
environment:
- PYMOR_FORCE_JUPYTER=1
- PYMOR_WITH_SPHINX=1
......
......@@ -26,6 +26,7 @@ ${SUDO} pip install -U jupyterlab
python setup.py build_ext -i
# pymor checks if this file's owner uid matches with the interpreter executor's
${SUDO} chown pymor docs/source/pymor_defaults.py
ME=$(id -u)
${SUDO} chown ${ME} docs/source/pymor_defaults.py
make docs
Markdown is supported
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