diff --git a/Dockerfile b/Dockerfile index 361784141327d5a23422a7944e542a6fab42df36..fddfc549e40058224829cf18f2bde1d2d636e420 100644 --- a/Dockerfile +++ b/Dockerfile @@ -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"]