Update docs deployment

microsoft · Nov 13, 2023 · 935e016 · 935e016
1 parent 1585349
commit 935e016
Showing 1 changed file with 32 additions and 2 deletions.
diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml
@@ -15,7 +15,7 @@ on:
 permissions: {}
 
 jobs:
-  deploy:
+  publish:
     name: Publish docs
     runs-on: ubuntu-latest
     permissions:
@@ -43,5 +43,35 @@ jobs:
           python3 -m pip install wheel
           python3 -m pip install -r requirements-docs.txt
 
-      - name: Deploy site
+      - name: Generate site
         run: mike deploy --push --update-aliases v3 latest --title 'v3'
+
+  deploy:
+    name: Deploy pages
+    environment:
+      name: github-pages
+      url: ${{ steps.deployment.outputs.page_url }}
+    runs-on: ubuntu-latest
+    needs: [publish]
+    concurrency:
+      group: pages
+      cancel-in-progress: false
+    permissions:
+      contents: read
+      pages: write
+      id-token: write
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+        with:
+          ref: refs/heads/gh-pages
+      - name: Setup Pages
+        uses: actions/configure-pages@v3
+      - name: Upload artifact
+        uses: actions/upload-pages-artifact@v2
+        with:
+          # Upload entire repository
+          path: '.'
+      - name: Deploy to GitHub Pages
+        id: deployment
+        uses: actions/deploy-pages@v2