Rollup of 11 pull requests#156378
Merged
rust-bors[bot] merged 24 commits intorust-lang:mainfrom May 10, 2026
Merged
Commits
Commits on Mar 2, 2026
Commits on Apr 19, 2026
Commits on Apr 26, 2026
Commits on Apr 27, 2026
Commits on Apr 30, 2026
Commits on May 3, 2026
Commits on May 4, 2026
Commits on May 5, 2026
Commits on May 8, 2026
Commits on May 9, 2026
- committed
- committed
- committed
- committed
Commits on May 10, 2026
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored