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

Rollup of 11 pull requests#159213
rust-bors[bot] merged 122 commits into
rust-lang:mainfrom
jhpratt:rollup-w7hkEWH

Commits

Commits on Jun 7, 2026

Commits on Jun 30, 2026

Commits on Jul 4, 2026

Commits on Jul 5, 2026

Commits on Jul 6, 2026

Commits on Jul 7, 2026

Commits on Jul 8, 2026

Commits on Jul 9, 2026

Commits on Jul 10, 2026

Commits on Jul 11, 2026

Commits on Jul 12, 2026

Commits on Jul 13, 2026