update workflow #4
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
name: github pages | |
on: | |
push: | |
branches: | |
- main | |
jobs: | |
deploy-owl: | |
name: Install Owl and build doc | |
runs-on: ubuntu-latest | |
steps: | |
- uses: actions/checkout@main | |
- name: Use OCaml | |
uses: ocaml/setup-ocaml@v2 | |
with: | |
ocaml-compiler: '5.0' | |
dune-cache: true | |
allow-prerelease-opam: true | |
- name: Deps | |
run: sudo apt-get install git build-essential wget unzip aspcud m4 pkg-config libshp-dev libopenblas-dev liblapacke-dev | |
- name: OCaml Deps | |
run: opam install ocaml-compiler-libs alcotest conf-openblas ctypes dune-configurator stdio npy odoc | |
- name: Compile Owl and install | |
run: opam exec -- dune build @install | |
- name: Build doc | |
run: | | |
opam exec -- dune build @doc | |
cat docs/mathjax.js docs/highlight.pack.js >> _build/default/_doc/_html/highlight.pack.js | |
cp -r _build/default/_doc/_html/* docs | |
- name: Deploy | |
uses: peaceiris/actions-gh-pages@v3 | |
with: | |
github_token: ${{ secrets.GITHUB_TOKEN }} | |
publish_dir: ./docs | |
destination_dir: . |