Rollup of 6 pull requests#143507

Merged

bors merged 70 commits intorust-lang:masterfrom

matthiaskrgr:rollup-lpg7t12

Jul 6, 2025

Commits on Jun 28, 2025

Commits on Jun 29, 2025

Commits on Jun 30, 2025

Commits on Jul 1, 2025

Preparing for merge from rustc
The Miri Cronjob Bot
committed
Merge from rustc
The Miri Cronjob Bot
committed
fmt
The Miri Cronjob Bot
committed
./miri toolchain: no need to run 'cargo metadata'
RalfJung
committed
Merge pull request #4431 from rust-lang/rustup-2025-07-01
RalfJung
authored
re-balance CI jobs
RalfJung
committed
Merge pull request #4432 from RalfJung/no-metadata
RalfJung
authored
Merge pull request #4433 from RalfJung/ci-balance
RalfJung
authored
Remove leaky synchronisation objects.
LorrensP-2158466
committed
Merge pull request #4411 from LorrensP-2158466/remove-leaky-syncobj
RalfJung
authored

Commits on Jul 2, 2025

Commits on Jul 4, 2025

Commits on Jul 5, 2025