Merge pull request #82 from nqminds/ci/publish-docs-to-GitHub-pages

ci(docs): publish docs to GitHub Pages
nqminds · Oct 31, 2023 · 52a856f · 52a856f
2 parents eafb92e + 4939354
commit 52a856f
Showing 1 changed file with 16 additions and 0 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -35,3 +35,19 @@ jobs:
         uses: actions/upload-pages-artifact@v1
         with:
           path: ./build/html
+
+  deploy:
+    name: publish docs (main-branch only)
+    if: github.ref == 'refs/heads/main'
+    needs: build
+    permissions:
+      pages: write      # needed to deploy to Pages
+      id-token: write   # needed to verify the deployment originates from an appropriate source
+    environment:
+      name: github-pages
+      url: ${{ steps.deployment.outputs.page_url }}
+    runs-on: ubuntu-latest
+    steps:
+      - name: Deploy to GitHub Pages
+        id: deployment
+        uses: actions/deploy-pages@v2