Skip to content

Use ./dk dkml.workflow.compilers #99

Use ./dk dkml.workflow.compilers

Use ./dk dkml.workflow.compilers #99

Workflow file for this run

name: Publish GitHub Pages
on:
push:
branches:
- 'main'
jobs:
build:
runs-on: ubuntu-latest
permissions:
# Needed for peaceiris/actions-gh-pages@v3
contents: write
steps:
- name: Checkout code
uses: actions/checkout@v3
- name: OCaml 4.13.x
uses: ocaml/setup-ocaml@v2
with:
ocaml-compiler: 4.13.x
dune-cache: false # true does not publish pages consistently
- name: Install Opam dependencies
run: opam install . --deps-only --with-doc
- name: Build odoc
run: opam exec -- dune build @doc
- name: Deploy to GitHub Pages
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: _build/default/_doc/_html