mirror of
https://github.com/c-cube/linol.git
synced 2025-12-07 03:35:41 -05:00
do not fail when updating docs?
This commit is contained in:
parent
c9ade392ef
commit
5caec361dd
1 changed files with 1 additions and 1 deletions
2
.github/workflows/gh-pages.yml
vendored
2
.github/workflows/gh-pages.yml
vendored
|
|
@ -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
|
||||
|
|
|
|||
Loading…
Add table
Reference in a new issue