CI for docs

This commit is contained in:
Simon Cruanes 2023-08-28 11:07:01 -04:00
parent b23239e12e
commit 9853fca2de
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

33
.github/workflows/gh-pages.yml vendored Normal file
View file

@ -0,0 +1,33 @@
name: github pages
on:
push:
branches:
- main # Set a branch name to trigger deployment
jobs:
deploy:
name: Deploy doc
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@main
- name: Use OCaml
uses: ocaml/setup-ocaml@v2
with:
ocaml-compiler: '4.14'
dune-cache: true
- name: Deps
run: opam install odig moonpool
- name: Build
run: opam exec -- odig odoc --cache-dir=_doc/ moonpool
- name: Deploy
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./_doc/html
destination_dir: dev
enable_jekyll: true