Add more permission to allow pushing the documentation

egguy · Nov 8, 2023 · d6bebdb · d6bebdb
1 parent e5507fc
commit d6bebdb
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -12,6 +12,10 @@ on:
 jobs:
   build-doc:
     runs-on: ubuntu-latest
+    # Grant GITHUB_TOKEN the permissions required to make a Pages deployment
+    permissions:
+      pages: write      # to deploy to Pages
+      id-token: write   # to verify the deployment originates from an appropriate source
 
     steps:
       - uses: actions/checkout@v4