ci: add deploy.yaml workflow for deploying docs to GitHub Pages

Author: threeal

.github/workflows/build.yml

@@ -99,17 +99,16 @@ jobs:
   docs:
     runs-on: ubuntu-latest
     steps:
-      - name: Checkout repository
+      - name: Checkout
         uses: actions/checkout@v3.5.3
 
-      - name: Install dependencies
+      - name: Install requirements
         run: pip3 install -r docs/requirements.txt
 
-      - name: Build documentation
+      - name: Build with Sphinx
         run: sphinx-build -b html docs build/docs -W --keep-going
 
-      - name: Upload documentation as artifact
+      - name: Upload artifact
         uses: actions/upload-artifact@v3.1.2
         with:
-          name: docs
           path: build/docs

.github/workflows/deploy.yaml

@@ -0,0 +1,39 @@
+name: deploy
+on:
+  workflow_dispatch:
+  push:
+    branches: [use-github-page]
+permissions:
+  contents: read
+  pages: write
+  id-token: write
+concurrency:
+  group: pages
+  cancel-in-progress: false
+jobs:
+  docs:
+    runs-on: ubuntu-latest
+    environment:
+      name: github-pages
+      url: ${{ steps.deployment.outputs.page_url }}
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v3.5.3
+
+      - name: Install requirements
+        run: pip3 install -r docs/requirements.txt
+
+      - name: Setup Pages
+        uses: actions/configure-pages@v3.0.6
+
+      - name: Build with Sphinx
+        run: sphinx-build -b html docs docs/build -W --keep-going
+
+      - name: Upload artifact
+        uses: actions/upload-pages-artifact@v1.0.8
+        with:
+          path: docs/build
+
+      - name: Deploy to GitHub Pages
+        id: deployment
+        uses: actions/deploy-pages@v2.0.2