set permissions for github token to upload artifacts and write docs

opencompl · Oct 25, 2023 · 2368f09 · 2368f09
1 parent 958524d
commit 2368f09
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml
@@ -4,8 +4,11 @@ on:
     branches:
       - "main"
 
+# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
 permissions:
-  contents: write
+  contents: read
+  pages: write
+  id-token: write
 
 jobs:
   build: