generate doc

This commit is contained in:
Simon Cruanes 2022-03-18 11:10:48 -04:00
parent 70dba09773
commit 200bad09bc
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

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

@ -0,0 +1,38 @@
name: github pages
on:
push:
branches:
- master # 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.13.x'
- name: Pin
run: opam pin -n .
- name: Depext
run: opam depext -yt opentelemetry opentelemetry-lwt opentelemetry-client-ocurl
- name: Deps
run: opam install -d . --deps-only
- name: Build
run: opam exec -- dune build @doc
- name: Deploy
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./_build/default/_doc/_html/
destination_dir: dev
enable_jekyll: true