ci: need to disable deployment, as we already have a gh-pages setup

trustification · Nov 21, 2024 · 5822136 · 5822136
1 parent 9f43b17
commit 5822136
Showing 1 changed file with 0 additions and 27 deletions.
diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml
@@ -22,30 +22,3 @@ jobs:
           cd docs/book
           npm ci
           make all
-
-      - name: Deploy to GitHub Pages
-        id: deployment
-        uses: actions/deploy-pages@v4
-
-      - name: Upload static files as artifact
-        id: deployment
-        uses: actions/upload-pages-artifact@v3
-        with:
-          path: docs/book/build
-
-  deploy:
-    needs: [ build ]
-
-    permissions:
-      pages: write
-      id-token: write
-
-    environment:
-      name: github-pages
-      url: ${{ steps.deployment.outputs.page_url }}
-
-    runs-on: ubuntu-22.04
-    steps:
-      - name: Deploy to GitHub Pages
-        id: deployment
-        uses: actions/deploy-pages@v4