fix: permissions for deployment to gh-pages

Signed-off-by: Olaf Lessenich <[email protected]>
eclipse-theia · Apr 3, 2024 · 18e13b4 · 18e13b4
1 parent d3f5340
commit 18e13b4
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml
@@ -5,6 +5,12 @@ on:
     branches: ["master"]
   workflow_dispatch:
 
+# Set permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
+permissions:
+  contents: read
+  pages: write
+  id-token: write
+
 # Allow only one concurrent deployment
 # Do not cancel in progress as we want production deployments to complete.
 concurrency: