diff --git a/.github/workflows/deploy-ci.yml b/.github/workflows/deploy-ci.yml new file mode 100644 index 0000000..8dee516 --- /dev/null +++ b/.github/workflows/deploy-ci.yml @@ -0,0 +1,26 @@ +name: Deploy +on: + push: + branches: + - main + +jobs: + build: + runs-on: ubuntu-latest + steps: + - name: Checkout tree + uses: actions/checkout@v4 + + - name: Set-up OCaml + uses: ocaml/setup-ocaml@v3 + with: + ocaml-compiler: "5.1.1" + - run: opam install . --deps-only --with-test + - run: opam exec -- dune build --profile=release + - run: opam exec -- dune exec bin/exe -- build --target ./_site + + - name: Deploy + uses: peaceiris/actions-gh-pages@v4 + with: + github_token: ${{ secrets.GITHUB_TOKEN }} + publish_dir: ./_site