fix workflow

This commit is contained in:
Simon Cruanes 2024-02-20 13:03:02 -05:00
parent 9a1dc8fd9a
commit 7730eabf98
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -3,7 +3,7 @@ name: github pages
on: on:
push: push:
branches: branches:
- master # Set a branch name to trigger deployment - main
jobs: jobs:
deploy: deploy:
@ -11,33 +11,21 @@ jobs:
steps: steps:
- uses: actions/checkout@main - uses: actions/checkout@main
- name: Cache opam - uses: ocaml/setup-ocaml@v2
id: cache-opam
uses: actions/cache@v2
with: with:
path: ~/.opam ocaml-compiler: '5.1.x'
key: opam-ubuntu-latest-4.12.0 dune-cache: true
allow-prerelease-opam: true
- uses: avsm/setup-ocaml@v1
with:
ocaml-version: '4.12.0'
- name: Pin
run: opam pin -n .
- name: Depext
run: opam depext -yt containers containers-data containers-thread
- name: Deps - name: Deps
run: opam install -d . --deps-only run: opam install odig linol linol-lwt
- name: Build - name: Build
run: opam exec -- dune build @doc run: opam exec -- odig odoc --cache-dir=_doc/ linol linol-lwt
- name: Deploy - name: Deploy
uses: peaceiris/actions-gh-pages@v3 uses: peaceiris/actions-gh-pages@v3
with: with:
github_token: ${{ secrets.GITHUB_TOKEN }} github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./_build/default/_doc/_html/ publish_dir: ./_doc/html
destination_dir: .
enable_jekyll: false enable_jekyll: false