ci: add permissions to deploy on GH pages

tassiluca · Feb 20, 2024 · bdb5e3a · bdb5e3a
1 parent e792085
commit bdb5e3a
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/.github/workflows/publish-doc.yaml b/.github/workflows/publish-doc.yaml
@@ -7,8 +7,14 @@ on:
   pull_request:
   workflow_dispatch:
 
+# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
+permissions:
+  contents: read
+  pages: write
+  id-token: write
+
 jobs:
-  Build-Slides:
+  Build-Documentation-Site:
     runs-on: ubuntu-latest
     concurrency:
       group: slides-${{ github.ref }}