Permissions, maybe

.github/workflows/build_docs.yml

@@ -15,10 +15,9 @@ on:
 
 permissions:
   contents: read
-  pages: write
 
 concurrency:
-  group: "pages"
+  group: "hexdoc"
   cancel-in-progress: false
 
 jobs:
@@ -79,6 +78,10 @@ jobs:
       name: github-pages
       url: ${{ steps.deployment.outputs.page_url }}
 
+    permissions:
+      id-token: write
+      pages: write
+
     steps:
       - name: Deploy to Pages
         id: deployment