Skip to content

Rollup of 22 pull requests - #160517

Merged
rust-bors[bot] merged 165 commits into
rust-lang:mainfrom
JonathanBrouwer:rollup-u5PpQgB
Aug 5, 2026
Merged

Rollup of 22 pull requests#160517
rust-bors[bot] merged 165 commits into
rust-lang:mainfrom
JonathanBrouwer:rollup-u5PpQgB

Rollup merge of #160496 - RalfJung:algebraic-nondet, r=Darksonn

85cfb50
Select commit
Loading
Failed to load commit list.
rust-bors / Bors auto build succeeded Aug 5, 2026 in 3h 25m 25s

Bors auto build

View more details on rust-bors