chore: CI

This commit is contained in:
Simon Cruanes 2024-02-07 15:33:29 -05:00
parent 89e3fb91dd
commit 3cb76f6f41
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -15,11 +15,15 @@ jobs:
- name: Use OCaml
uses: ocaml/setup-ocaml@v2
with:
ocaml-compiler: 5.0
ocaml-compiler: 5.1.x
dune-cache: true
allow-prerelease-opam: true
- name: Deploy odoc to GitHub Pages
uses: ocaml/setup-ocaml/deploy-doc@v2
- name: Deploy
uses: peaceiris/actions-gh-pages@v3
with:
destination-dir: dev
enable-jekyll: true
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./_doc/html
destination_dir: dev
enable_jekyll: true