rust-lang / rust

Empowering everyone to build reliable and efficient software.
https://www.rust-lang.org
Other
98.76k stars 12.76k forks source link

Rollup of 8 pull requests #133296

Closed GuillaumeGomez closed 1 day ago

GuillaumeGomez commented 1 day ago

Successful merges:

r? @ghost @rustbot modify labels: rollup

Create a similar rollup

GuillaumeGomez commented 1 day ago

@bors r+ p=8 rollup=never

bors commented 1 day ago

:pushpin: Commit aeb9f6d2decd2038e220169b6c975542c3d38022 has been approved by GuillaumeGomez

It is now in the queue for this repository.

matthiaskrgr commented 1 day ago

@bors r- overlaps with https://github.com/rust-lang/rust/pull/133287
also I'm not sure with we should roll up https://github.com/rust-lang/rust/pull/133246 in case we need to bisect this at some later point

GuillaumeGomez commented 1 day ago

Fair enough. Maybe we should also add rollup=never on https://github.com/rust-lang/rust/pull/133246?