From 911e1e8e34ce4a7e73cd3b8ae50b60122fb76a7b Mon Sep 17 00:00:00 2001
From: Sebastian Berg <sebastianb@nvidia.com>
Date: Fri, 4 Jul 2025 21:43:53 +0200
Subject: [PATCH] CI: Comment out doc deployment as permissions are missing for
 now

Not sure we want to deploy docs to github pages at all, it was just
one very simple initial pattern to use.
---
 .github/workflows/build-docs.yml | 35 ++++++++++++++++----------------
 1 file changed, 18 insertions(+), 17 deletions(-)

diff --git a/.github/workflows/build-docs.yml b/.github/workflows/build-docs.yml
index 70bc210..c056d61 100644
--- a/.github/workflows/build-docs.yml
+++ b/.github/workflows/build-docs.yml
@@ -52,20 +52,21 @@ jobs:
         with:
           path: docs/build/html
 
-  deploy:
-    needs: build
-    runs-on: ubuntu-latest
-    if: inputs.deploy
-
-    permissions:
-      pages: write      # to deploy to Pages
-      id-token: write   # to verify the deployment originates from an appropriate source
-
-    # Deploy to the github-pages environment
-    environment:
-      name: github-pages
-      url: ${{ steps.deployment.outputs.page_url }}
-
-    steps:
-      - uses: actions/deploy-pages@v4
-        if: inputs.deploy
+  # Comment out deploy job for now due to missing permissions.
+  # deploy:
+  #   needs: build
+  #   runs-on: ubuntu-latest
+  #   if: inputs.deploy
+  #
+  #   permissions:
+  #     pages: write      # to deploy to Pages
+  #     id-token: write   # to verify the deployment originates from an appropriate source
+  #
+  #   # Deploy to the github-pages environment
+  #   environment:
+  #     name: github-pages
+  #     url: ${{ steps.deployment.outputs.page_url }}
+  #
+  #   steps:
+  #     - uses: actions/deploy-pages@v4
+  #       if: inputs.deploy