looks like we need more permissions

rust-lang · Sep 24, 2024 · 3a108a7 · 3a108a7
1 parent 09e8122
commit 3a108a7
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/tools/miri/.github/workflows/ci.yml b/src/tools/miri/.github/workflows/ci.yml
@@ -13,7 +13,9 @@ on:
     - cron: '44 4 * * *' # At 4:44 UTC every day.
 
 permissions:
-  contents: read
+  # The cronjob needs to be able to push to the repo...
+  contents: write
+  # ... and create a PR.
   pull-requests: write
 
 defaults: