Auto merge of rust-lang#3907 - RalfJung:perm, r=RalfJung

fix workflow permissions Copied from rust-lang/docs.rs#2611
RalfJung · Sep 23, 2024 · 09e8122 · 09e8122
2 parents c36614b + 51d90bb
commit 09e8122
Showing 1 changed file with 2 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,8 @@ on:
     - cron: '44 4 * * *' # At 4:44 UTC every day.
 
 permissions:
-  contents: write
+  contents: read
+  pull-requests: write
 
 defaults:
   run: