From 582213670c662e755c3a0f83219c98e0e7ff15d3 Mon Sep 17 00:00:00 2001
From: Jens Reimann <ctron@dentrassi.de>
Date: Thu, 21 Nov 2024 13:13:46 +0100
Subject: [PATCH] ci: need to disable deployment, as we already have a gh-pages
 setup

---
 .github/workflows/docs.yaml | 27 ---------------------------
 1 file changed, 27 deletions(-)

diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml
index 0714e7d5..4eaeae92 100644
--- 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