From 65e2b3380e1ef8161e0eb2daa540860db10f74f2 Mon Sep 17 00:00:00 2001
From: Akinori Abe <abe_akinori@openlogi.com>
Date: Tue, 10 Aug 2021 10:01:52 +0900
Subject: [PATCH] :pencil2: publish doc on actions

---
 .github/workflows/gh-pages.yaml | 31 +++++++++++++++++++++++++++++++
 1 file changed, 31 insertions(+)
 create mode 100644 .github/workflows/gh-pages.yaml

diff --git a/.github/workflows/gh-pages.yaml b/.github/workflows/gh-pages.yaml
new file mode 100644
index 0000000..f5c30ae
--- /dev/null
+++ b/.github/workflows/gh-pages.yaml
@@ -0,0 +1,31 @@
+name: gh-pages
+
+on:
+  push:
+    branches:
+      - main
+      - '*'
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+
+    steps:
+      - uses: actions/checkout@v2
+      - uses: ocaml/setup-ocaml@v2
+        with:
+          ocaml-compiler: 4.12.0
+      - name: Cache dependencies
+        uses: actions/cache@v2
+        with:
+          path: ~/.opam
+          key: ${{ runner.os }}-opam-${{ hashFiles('**/*.opam') }}
+          restore-keys: ${{ runner.os }}-opam-
+      - run: opam install . --deps-only --with-test
+      - run: opam install odoc
+      - run: opam exec -- dune build @doc
+      - name: Publish
+        uses: peaceiris/actions-gh-pages@v3
+        with:
+          github_token: ${{ secrets.GITHUB_TOKEN }}
+          publish_dir: ./_build/default/_doc/_html