ci: Fix documentation workflow deploy step (#1373)

Author: romac

.github/workflows/docs.yml

@@ -64,6 +64,10 @@ jobs:
     name: Deploy
     runs-on: github-hosted-small
     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 }}