[F] Fix gh permission

2022-12-24 21:01:52 -05:00
parent 8d8b047dd9
commit aa70e2d75d
1 changed files with 6 additions and 0 deletions
@@ -1,6 +1,12 @@
 # This is a basic workflow to help you get started with Actions
 name: Generator

+# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
+permissions:
+  contents: read
+  pages: write
+  id-token: write
+
 # Controls when the workflow will run
 on:
  # Triggers the workflow on push or pull request events but only for the main branch