Try to fix issue in deploy pages workflow

Author: smistad

.github/workflows/build-and-deploy-documentation.yaml

@@ -26,6 +26,11 @@ jobs:
   deploy:
     runs-on: ubuntu-24.04
     needs: build
+    # Grant GITHUB_TOKEN the permissions required to make a Pages deployment
+    permissions:
+      pages: write      # to deploy to Pages
+      id-token: write   # to verify the deployment originates from an appropriate source
+
     environment:
       name: github-pages
       url: ${{ steps.deployment.outputs.page_url }}