Rollup of 6 pull requests#148507
Merged
bors merged 43 commits intorust-lang:masterfrom Nov 5, 2025
Merged
Commits
Commits on Oct 21, 2025
- committed
Commits on Oct 27, 2025
- committed
- committed
- committed
- authored
- committed
- committed
- authored
- committed
- committed
- committed
- authored
- authored
- committed
- authored
- authored
Commits on Oct 28, 2025
Commits on Oct 29, 2025
Commits on Oct 31, 2025
Commits on Nov 1, 2025
Commits on Nov 2, 2025
Commits on Nov 3, 2025
- committed
The rustc-josh-sync Cronjob Bot - committed
The rustc-josh-sync Cronjob Bot - authored
- committed
- committed
- committed
Commits on Nov 4, 2025
- committed
- committed
- authored
- committed
- committed
- committed
- committed
- committed
- authored
- authored
- authored
- authored
- authored
- authored
- authored