-
Notifications
You must be signed in to change notification settings - Fork 175
46 lines (37 loc) · 1 KB
/
build.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
name: Main workflow
on:
pull_request:
push:
schedule:
# Prime the caches every Monday
- cron: 0 1 * * MON
jobs:
build:
strategy:
fail-fast: false
matrix:
os:
- ubuntu-latest
ocaml-compiler:
- 4.14.0
runs-on: ${{ matrix.os }}
steps:
- name: Checkout code
uses: actions/checkout@v2
- name: Install pandoc
run: sudo apt-get -y install pandoc
- name: Use OCaml ${{ matrix.ocaml-compiler }}
uses: ocaml/setup-ocaml@v2
with:
ocaml-compiler: ${{ matrix.ocaml-compiler }}
dune-cache: false
- name: Install dune
run: opam install dune>=3.4.1
- name: Build HTML book
run: opam exec -- dune build @site
- name: Deploy site
uses: peaceiris/actions-gh-pages@v3
if: github.ref == 'refs/heads/master' && runner.os == 'Linux'
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./_build/default/static