Build for github pages

2024-10-19 13:00:23 -03:00 · 2024-10-19 13:00:23 -03:00 · 88f6c46213
parent 5c71841d12
commit 88f6c46213
1 changed files with 6 additions and 0 deletions
--- a/.github/workflows/build-docs.yaml
+++ b/.github/workflows/build-docs.yaml
@ -42,3 +42,9 @@ jobs:
      with:
        name: docs.pdf
        path: docs.pdf
+
+    - name: Deploy
+      uses: peaceiris/actions-gh-pages@v4
+      with:
+        github_token: ${{ secrets.GITHUB_TOKEN }}
+        publish_dir: doc/build/html