Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Auto merge of #3908 - RalfJung:perms, r=RalfJung
looks like we need more permissions The cron job [failed](https://github.com/rust-lang/miri/actions/runs/11007186322/job/30563264024) last night, so let's see if this helps.
- Loading branch information