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.
Sign in for the full log view
Calculate job matrix
succeeded Aug 4, 2026 in 42s