Deploy docs to github pages

devosoft · Dec 12, 2023 · ba47d6b · ba47d6b
1 parent 27f70f0
commit ba47d6b
Showing 1 changed file with 21 additions and 0 deletions.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -168,6 +168,27 @@ jobs:
         with:
           name: doc-coverage
           path: doc/doc-coverage.json
+      - 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