Rollup of 8 pull requests#141753

Merged

bors merged 25 commits into

rust-lang:masterfrom

matthiaskrgr:rollup-bw4j2u0

May 30, 2025

Annotations

1 warning

The logs for this run have expired and are no longer available.