Try deployment from jb (#90)

Parietal-INRIA · Oct 29, 2024 · 7dbab07 · 7dbab07
1 parent 63ae442
commit 7dbab07
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/.github/workflows/doc-build.yml b/.github/workflows/doc-build.yml
@@ -86,3 +86,10 @@ jobs:
             with:
                 name: doc
                 path: doc/_build/html
+
+        # Push the HTML to github-pages
+        -   name: GitHub Pages action
+            uses: peaceiris/[email protected]
+            with:
+                github_token: ${{ secrets.GITHUB_TOKEN }}
+                publish_dir: doc/_build/html