Fix permissions

.github/workflows/docs.yml

@@ -1,4 +1,4 @@
-name: Publish docs
+name: Deploy docs
 
 on:
   push:
@@ -24,6 +24,10 @@ jobs:
         with:
           path: 'docs'
   deploy:
+    permissions:
+      contents: read
+      pages: write
+      id-token: write
     environment:
       name: github-pages
       url: ${{steps.deployment.outputs.page_url}}