Skip to content
Snippets Groups Projects
Commit 2ed71cb7 authored by Martin Schroschk's avatar Martin Schroschk
Browse files

Workaround for pipeline

parent d1c812f4
No related branches found
No related tags found
2 merge requests!795Automated merge from preview to main,!785Long options
......@@ -38,6 +38,9 @@ RUN echo 'test \! -e /docs/tud_theme/javascripts/mermaid.min.js && test -x /docs
RUN echo 'exec "$@"' >> /entrypoint.sh
RUN chmod u+x /entrypoint.sh
# Workaround https://gitlab.com/gitlab-org/gitlab-runner/-/issues/29022
RUN git config --global --add safe.directory /docs
WORKDIR /docs
CMD ["mkdocs", "build", "--verbose", "--strict"]
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment