miri subtree update#148374

Merged

bors merged 36 commits intorust-lang:masterfrom

Nov 2, 2025

Commits on Oct 16, 2025

Prepare for merging from rust-lang/rust
The Miri Cronjob Bot
committed
Merge ref '402ce0ef07d5' from rust-lang/rust
The Miri Cronjob Bot
committed
Merge pull request #4637 from rust-lang/rustup-2025-10-16
RalfJung
authored

Commits on Oct 24, 2025

Prepare for merging from rust-lang/rust
The Miri Cronjob Bot
committed
Merge ref '27050c0d15af' from rust-lang/rust
The Miri Cronjob Bot
committed
Merge pull request #4649 from rust-lang/rustup-2025-10-24
oli-obk
authored

Commits on Oct 28, 2025

Commits on Oct 30, 2025

Commits on Nov 1, 2025

Merge pull request #4658 from RalfJung/weak-mem-na-reads
RalfJung
authored