diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml index df6b80e3..e1ba8a61 100644 --- a/.github/workflows/gh-pages.yml +++ b/.github/workflows/gh-pages.yml @@ -9,13 +9,13 @@ jobs: deploy: name: Deploy doc runs-on: ubuntu-latest - container: ghcr.io/c-cube/c-cube-commmon/ci-5.4:latest + container: ghcr.io/c-cube/c-cube-commmon/ci-doc-5.3:latest steps: - uses: actions/checkout@v6 - name: Deps - run: opam install odig containers containers-data + run: opam install containers containers-data - name: Build run: opam exec -- odig odoc --cache-dir=_doc/ containers containers-data @@ -25,5 +25,5 @@ jobs: with: github_token: ${{ secrets.GITHUB_TOKEN }} publish_dir: ./_doc/html/ - destination_dir: dev - enable_jekyll: true + destination_dir: . + enable_jekyll: false