tmp

Khady · Dec 22, 2023 · 973a08c · 973a08c
1 parent 9a6468a
commit 973a08c
Showing 1 changed file with 16 additions and 1 deletion.
diff --git a/.github/workflows/build-test.yml b/.github/workflows/build-test.yml
@@ -85,8 +85,23 @@ jobs:
           opam-depext-flags: "--with-doc"
           allow-prerelease-opam: true
 
+      - name: Install dependencies
+        run: opam install . --deps-only --with-doc
+
+      - name: Build documentation
+        run: opam exec -- dune build @doc
+
+      - name: Set-up Pages
+        uses: actions/configure-pages@v4
+
+      - name: Upload artifact
+        uses: actions/upload-pages-artifact@v2
+        with:
+          path: _build/default/_doc/_html
+
       - name: Deploy odoc to GitHub Pages
-        uses: ocaml/setup-ocaml/deploy-doc@v2
+        id: deployment
+        uses: actions/deploy-pages@v3
 
   lint-doc:
     runs-on: ubuntu-latest