minor fix #3
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: | |
| name: Deploy Owl 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: 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: . |