Miri subtree update#141214

Merged

bors merged 5 commits intorust-lang:masterfrom

RalfJung:miri-sync

May 18, 2025

Commits on May 18, 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
attempt to make doctests work properly with old and new cargo
RalfJung
committed
Merge pull request #4327 from rust-lang/rustup-2025-05-18
RalfJung
authored