gh-pages.yml

name: github pages

on:
  push:
    branches:
      - master  # Set a branch name to trigger deployment

jobs:
  deploy:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@main

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

      - uses: avsm/setup-ocaml@v2
        with:
          ocaml-compiler: '4.13.0'

      - name: Pin
        run: opam pin -n .

      - run: opam install bare_encoding
      - name: Depext
        run: opam depext -yt catapult catapult-file catapult-sqlite catapult-client catapult-daemon

      - name: Deps
        run: opam install -d . --deps-only

      - name: Build
        run: opam exec -- dune build @doc --ignore-promoted-rules

      - name: Deploy
        uses: peaceiris/actions-gh-pages@v3
        with:
          github_token: ${{ secrets.GITHUB_TOKEN }}
          publish_dir: ./_build/default/_doc/_html/
          destination_dir: dev
          enable_jekyll: true