Update permissions

rojvv · Mar 24, 2023 · 80e789b · 80e789b
1 parent 8cb4be7
commit 80e789b
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/.github/workflows/regenerate_options.yml b/.github/workflows/regenerate_options.yml
@@ -4,8 +4,11 @@ on:
   push:
     branches: [main]
 
+permissions:
+  contents: write
+
 jobs:
-  regenerate-types:
+  regenerate-options:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v3