[IDP-1845] Fix deployment, again (#20)

.github/workflows/publish-docs.yml

@@ -12,9 +12,14 @@ jobs:
     runs-on: ubuntu-latest
 
     permissions:
+      contents: read
       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}}
+
     steps:
       - uses: actions/checkout@v4
 
@@ -31,4 +36,5 @@ jobs:
           path: ${{ steps.retype.outputs.retype-output-path }}
 
       - name: Deploy to GitHub Pages
+        id: deployment
         uses: actions/deploy-pages@v4