Deploy docs to github pages

devosoft · Dec 8, 2023 · 9a0a031 · 9a0a031
1 parent aa6057c
commit 9a0a031
Showing 1 changed file with 22 additions and 1 deletion.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -168,7 +168,28 @@ jobs:
         with:
           name: doc-coverage
           path: doc/doc-coverage.json
-  deploy-documentation-coverage:
+      - uses: actions/upload-artifact@v2
+        with:
+          name: documentation-html
+          path: doc/_build/html
+  deploy-to-gh-pages:
+    name: Deploy Documentation to GitHub Pages
+    runs-on: ubuntu-22.04
+    needs: test-documentation
+    if: github.ref == 'refs/heads/master'
+    steps:
+      - uses: actions/checkout@v3
+      - name: Download artifact
+        uses: actions/download-artifact@v2
+        with:
+          name: documentation-html
+          path: doc/_build/html
+      - name: Deploy to GitHub Pages
+        uses: peaceiris/actions-gh-pages@v3
+        with:
+          github_token: ${{ secrets.GITHUB_TOKEN }}
+          publish_dir: ./doc/_build/html
+deploy-documentation-coverage:
     name: Deploy Documentation Coverage
     runs-on: ubuntu-22.04
     if: github.ref == 'refs/heads/master'