Rollup of 8 pull requests#142003

Merged

bors merged 19 commits into

rust-lang:masterfrom

matthiaskrgr:rollup-ad8l9ns

Jun 4, 2025

Annotations

2 warnings

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