Skip to content

Commit

Permalink
Merge pull request #161 from n-osborne/publish-doc
Browse files Browse the repository at this point in the history
Add a worflow to deploy documentation
  • Loading branch information
n-osborne authored Oct 23, 2023
2 parents 64abe30 + f4be603 commit f4604b8
Showing 1 changed file with 25 additions and 0 deletions.
25 changes: 25 additions & 0 deletions .github/workflows/gh-pages.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,25 @@
name: documentation

on:
push:
branches:
- main

permissions:
contents: write

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

- 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 f4604b8

Please sign in to comment.