Add permissions for the github token (#68)

mojira · Sep 3, 2024 · 76c0db6 · 76c0db6
1 parent acd953c
commit 76c0db6
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
@@ -2,6 +2,12 @@
 
 name: Build and push
 
+# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
+permissions:
+  contents: read
+  pages: write
+  id-token: write
+
 on:
   push:
     branches: [ master ]