Miri subtree update#139065

Merged

bors merged 59 commits intorust-lang:masterfrom

RalfJung:miri-sync

Mar 29, 2025

Commits on Feb 26, 2025

Resolve more FIXMEs
tiif
committed
Preparing for merge from rustc
The Miri Cronjob Bot
committed
Merge from rustc
The Miri Cronjob Bot
committed
fmt
The Miri Cronjob Bot
committed
Merge pull request #4211 from rust-lang/rustup-2025-02-26
oli-obk
authored
Merge pull request #4210 from tiif/small-fix-2
oli-obk
authored
Update ui test
oli-obk
committed
Merge pull request #4213 from oli-obk/push-oqrnvmlnzsnw
RalfJung
authored

Commits on Feb 27, 2025

Commits on Mar 2, 2025

Preparing for merge from rustc
The Miri Cronjob Bot
committed
Merge from rustc
The Miri Cronjob Bot
committed
clippy
RalfJung
committed
Merge pull request #4216 from rust-lang/rustup-2025-03-02
RalfJung
authored

Commits on Mar 3, 2025

Commits on Mar 5, 2025

Commits on Mar 6, 2025

Preparing for merge from rustc
The Miri Cronjob Bot
committed
Merge from rustc
The Miri Cronjob Bot
committed
Merge pull request #4220 from rust-lang/rustup-2025-03-06
RalfJung
authored

Commits on Mar 7, 2025

Commits on Mar 11, 2025

Preparing for merge from rustc
The Miri Cronjob Bot
committed
Merge from rustc
The Miri Cronjob Bot
committed
Merge pull request #4224 from rust-lang/rustup-2025-03-11
RalfJung
authored

Commits on Mar 14, 2025

Preparing for merge from rustc
The Miri Cronjob Bot
committed
Merge from rustc
The Miri Cronjob Bot
committed
Merge pull request #4226 from rust-lang/rustup-2025-03-14
saethlin
authored

Commits on Mar 15, 2025

Preparing for merge from rustc
The Miri Cronjob Bot
committed
Merge from rustc
The Miri Cronjob Bot
committed
Merge pull request #4227 from rust-lang/rustup-2025-03-15
saethlin
authored

Commits on Mar 16, 2025

Preparing for merge from rustc
The Miri Cronjob Bot
committed
Merge from rustc
The Miri Cronjob Bot
committed
Merge pull request #4229 from rust-lang/rustup-2025-03-16
saethlin
authored

Commits on Mar 20, 2025

Preparing for merge from rustc
The Miri Cronjob Bot
committed
Merge from rustc
The Miri Cronjob Bot
committed
Merge pull request #4233 from rust-lang/rustup-2025-03-20
RalfJung
authored

Commits on Mar 27, 2025

Commits on Mar 28, 2025