Provide additional permissions to snapshot-refresh

verus-lang · Mar 25, 2024 · c01c05e · c01c05e
1 parent 6712d10
commit c01c05e
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/snapshot-refresh.yml b/.github/workflows/snapshot-refresh.yml
@@ -1,5 +1,9 @@
 name: SnapshotRefresh
 
+permissions:
+  contents: write
+  pull-requests: write
+
 on:
   # Run either manually upon being dispatched by user
   workflow_dispatch: