more CI

c-cube · Jan 19, 2024 · e3962ca · e3962ca
1 parent ecf51ce
commit e3962ca
Showing 1 changed file with 5 additions and 4 deletions.
diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
@@ -4,7 +4,6 @@ on:
   push:
     branches:
       - main # Set a branch name to trigger deployment
-  pull_request:
 
 jobs:
   deploy:
@@ -20,16 +19,18 @@ jobs:
           allow-prerelease-opam: true
           dune-cache: true
 
+      # crash with 2.4, see https://github.com/ocaml/odoc/issues/1066
+      - run: opam pin odoc 2.2.2 -y -n
       - name: Deps
-        run: opam install trace trace-tef trace-fuchsia ppx_trace -d
+        run: opam install odig trace trace-tef trace-fuchsia ppx_trace
 
       - name: Build
-        run: opam exec -- dune build @doc
+        run: opam exec -- odig odoc --cache-dir=_doc/ trace trace-tef trace-fuchsia ppx_trace
 
       - name: Deploy
         uses: peaceiris/actions-gh-pages@v3
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}
-          publish_dir: ./_build/default/_doc/_html/
+          publish_dir: ./_doc/html
           destination_dir: .
           enable_jekyll: true