Added permissions

ether · Sep 9, 2024 · 9136535 · 9136535
1 parent 708e158
commit 9136535
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/.github/workflows/build-web-infos.yaml b/.github/workflows/build-web-infos.yaml
@@ -3,6 +3,12 @@ on:
     - cron: "0 1 * * *"
   workflow_dispatch:
 
+# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
+permissions:
+  contents: read
+  pages: write
+  id-token: write
+
 jobs:
     build:
         runs-on: ubuntu-latest