Skip to content

Rollup of 5 pull requests - #160789

Merged
rust-bors[bot] merged 13 commits into
rust-lang:mainfrom
jhpratt:rollup-zFeRr02
Aug 9, 2026
Merged

Rollup of 5 pull requests#160789
rust-bors[bot] merged 13 commits into
rust-lang:mainfrom
jhpratt:rollup-zFeRr02

Rollup merge of #160768 - JonathanBrouwer:fix_autodiff_ci, r=mejrs,Zu…

f5c9a72
Select commit
Loading
Failed to load commit list.
rust-bors / Bors try build succeeded Aug 9, 2026 in 3h 6m 38s

Bors try build

View more details on rust-bors