Skip to content

Commit

Permalink
Add a worflow to deploy documentation
Browse files Browse the repository at this point in the history
  • Loading branch information
n-osborne committed Oct 23, 2023
1 parent 682ee86 commit 25e9a71
Showing 1 changed file with 29 additions and 0 deletions.
29 changes: 29 additions & 0 deletions .github/workflows/gh-pages.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,29 @@
name: documentation

on:
push:
branches:
- main

jobs:
deploy:
runs-on: ubuntu-latest
steps:
- name: Checkout code
uses: actions/checkout@v4

- name: Cache opam
id: cache-opam
uses: actions/cache@v3
with:
path: ~/.opam
key: opam-ubuntu-latest-5.0.0

- name: Set-up OCaml 5.0
uses: ocaml/setup-ocaml@v2
with:
ocaml-compiler: "5.0"
dune-cache: true

- name: Deploy documentation
uses: ocaml/setup-ocaml/deploy-doc@v2

0 comments on commit 25e9a71

Please sign in to comment.