Rollup of 10 pull requests#142442
Merged
bors merged 32 commits intorust-lang:masterfrom Jun 13, 2025
Merged
Commits
Commits on Apr 24, 2025
Commits on May 4, 2025
Commits on May 30, 2025
Commits on Jun 3, 2025
Commits on Jun 7, 2025
- committed
Commits on Jun 10, 2025
Commits on Jun 11, 2025
Commits on Jun 12, 2025
- committedThe rustc-dev-guide Cronjob Bot
- committedThe rustc-dev-guide Cronjob Bot
- committed
- committed
- committed
- committed
- authored
- committed
- committed
- committed
Commits on Jun 13, 2025
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored