adding permissions in ci.yml

.github/workflows/build-docs.yml

@@ -52,21 +52,20 @@ jobs:
         with:
           path: docs/build/html
 
-  # 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
+  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

.github/workflows/ci.yml

@@ -7,6 +7,11 @@ on:
     branches:
       - main
 
+permissions:
+  contents: read
+  pages: write
+  id-token: write
+
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}
   cancel-in-progress: true