chore: Update generate_docs workflow to include permissions for GitHu…

…b Pages and OIDC token
sanger · Aug 22, 2024 · 449d3f3 · 449d3f3
1 parent 40bb4aa
commit 449d3f3
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/generate_docs.yml b/.github/workflows/generate_docs.yml
@@ -7,6 +7,10 @@ on:
       - '143-write-*'
   workflow_dispatch:
 
+permissions:
+  pages: write      # Allow writing to the GitHub Pages
+  id-token: write   # Allow OIDC token to be issued
+
 jobs:
   build:
     runs-on: ubuntu-latest