ci: Fix permissions for doc deploy

jaqx0r · Sep 24, 2024 · 3984ae9 · 3984ae9
1 parent ee37fe3
commit 3984ae9
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml
@@ -23,6 +23,11 @@ jobs:
           path: target/avr-atmega168/doc
 
   deploy:
+    permissions:
+      # to deploy to Pages
+      pages: write
+      # to verify the deployment originates from an appropriate source
+      id-token: write
     environment:
       name: github-pages
       url: ${{ steps.deployment.outputs.page_url }}