Skip to content

Rollup of 11 pull requests - #159213

Merged
rust-bors[bot] merged 122 commits into
rust-lang:mainfrom
jhpratt:rollup-w7hkEWH
Jul 13, 2026
Merged

rust-bors[bot] merged 122 commits into
rust-lang:mainfrom
jhpratt:rollup-w7hkEWH

Commits

  1. Commits on Jun 7, 2026

  2. Commits on Jun 30, 2026

  3. Commits on Jul 4, 2026

  4. Commits on Jul 5, 2026

  5. Commits on Jul 6, 2026

  6. Commits on Jul 7, 2026

  7. Commits on Jul 8, 2026

  8. Commits on Jul 9, 2026

  9. Commits on Jul 10, 2026

  10. Commits on Jul 11, 2026

  11. Commits on Jul 12, 2026

  12. Commits on Jul 13, 2026