diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml index 68d072e6..984adda6 100644 --- a/.github/workflows/gh-pages.yml +++ b/.github/workflows/gh-pages.yml @@ -21,7 +21,7 @@ jobs: run: opam install odig linol linol-lwt - name: Build - run: opam exec -- odig odoc --cache-dir=_doc/ linol linol-lwt + run: mkdir -p _doc/html/ && opam exec -- odig odoc --cache-dir=_doc/ linol linol-lwt || true - name: Deploy uses: peaceiris/actions-gh-pages@v3