diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index d7c8dcdee..e2a22b916 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -406,9 +406,7 @@ publish:pages: paths: - public script: - - cd /home/opam/tezos - - sudo apk update && sudo apk upgrade - - sudo apk add py3-sphinx py3-sphinx_rtd_theme + - sudo apk add --no-cache py3-sphinx py3-sphinx_rtd_theme - sudo ln -s /usr/bin/sphinx-build-3 /usr/bin/sphinx-build - opam install --yes odoc - make doc-html && sudo mv docs/_build "${CI_PROJECT_DIR}"/public