Skip to content

Rollup of 6 pull requests - #163386

Merged
rust-bors[bot] merged 14 commits into
rust-lang:mainfrom
JonathanBrouwer:rollup-VqKqcjW
Sep 26, 2026
Merged

Rollup of 6 pull requests#163386
rust-bors[bot] merged 14 commits into
rust-lang:mainfrom
JonathanBrouwer:rollup-VqKqcjW

Rollup merge of #163376 - RalfJung:map_or, r=hanna-kruppe

ea2a3d8
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Calculate job matrix
succeeded Sep 26, 2026 in 33s