Add additional permissions required to deploy to GH pages.

fsprojects · Nov 11, 2023 · 5f7b8db · 5f7b8db
1 parent 53b2842
commit 5f7b8db
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.github/workflows/push-main.yml b/.github/workflows/push-main.yml
@@ -5,6 +5,11 @@ on:
     branches:
     - master
 
+permissions:
+  contents: read
+  pages: write
+  id-token: write
+
 jobs:
   build: