Rollup of 15 pull requests#156217
Merged
rust-bors[bot] merged 43 commits intorust-lang:mainfrom May 6, 2026
Merged
Commits
Commits on Apr 26, 2026
Commits on May 1, 2026
Commits on May 3, 2026
Commits on May 4, 2026
Commits on May 5, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- andauthored
- committed
- committed
- committed
- committed
Commits on May 6, 2026
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
