diff --git a/.github/workflows/build_doc.yml b/.github/workflows/build_doc.yml index c145f116e..6d02b3f74 100644 --- a/.github/workflows/build_doc.yml +++ b/.github/workflows/build_doc.yml @@ -2,8 +2,6 @@ name: Build documentation on: [push, pull_request] -permissions: write-all - env: OCAML_DEFAULT_VERSION: 4.14.2 # Add OPAMYES=true to the environment, this is usefill to replace `-y` option @@ -36,21 +34,16 @@ jobs: uses: ammaraskar/sphinx-action@master with: docs-folder: "docs/sphinx_docs/" - pre-build-command: "su runner" build-command: "sphinx-build . -W -b html ../../_build/sphinx_docs" - - name: Debug - run: | - ls -l _build/default/_doc/_html - ls -l _build/sphinx_docs - id - - - name: Copy odoc documentation - run: | - cp -Rf _build/default/_doc/_html/* _build/sphinx_docs/API + - name: Upload odoc artifact + uses: actions/upload-artifact@v4 + with: + name: odoc-artifact + path: _build/default/_doc/_html - - name: Upload artifact + - name: Upload sphinx artifact uses: actions/upload-artifact@v4 with: - name: doc-artifact - path: ./_build/sphinx_docs + name: odoc-artifact + path: _build/sphinx_docs