💚 Fix permissions of GITHUB_TOKEN

foosel · foosel · commit 99079762ee8d · 2023-07-31T10:55:39.000+02:00
diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml
@@ -6,6 +6,12 @@ on:
       - main
   workflow_dispatch:
 
+# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
+permissions:
+  contents: read
+  pages: write
+  id-token: write
+
 jobs:
   build:
     name: Build
