miri subtree update#153402

Merged

rust-bors[bot] merged 51 commits intorust-lang:mainfrom

Mar 5, 2026

Commits on Feb 17, 2026

Prepare for merging from rust-lang/rust
The Miri Cronjob Bot
committed
Merge ref '3c9faa0d037b' from rust-lang/rust
The Miri Cronjob Bot
committed
Merge pull request #4861 from rust-lang/rustup-2026-02-17
oli-obk
authored

Commits on Feb 18, 2026

Prepare for merging from rust-lang/rust
The Miri Cronjob Bot
committed
Merge ref '8387095803f2' from rust-lang/rust
The Miri Cronjob Bot
committed
Merge pull request #4864 from rust-lang/rustup-2026-02-18
RalfJung
authored

Commits on Feb 19, 2026

Prepare for merging from rust-lang/rust
The Miri Cronjob Bot
committed
Merge ref 'e0cb264b8145' from rust-lang/rust
The Miri Cronjob Bot
committed
fix genmc build
RalfJung
committed
Merge pull request #4865 from rust-lang/rustup-2026-02-19
RalfJung
authored

Commits on Feb 21, 2026

Commits on Feb 23, 2026

Prepare for merging from rust-lang/rust
The Miri Cronjob Bot
committed
Merge ref 'c78a29473a68' from rust-lang/rust
The Miri Cronjob Bot
committed
Merge pull request #4869 from rust-lang/rustup-2026-02-23
RalfJung
authored

Commits on Feb 25, 2026

Merge pull request #4872 from RalfJung/ptr-size-comment
RalfJung
authored

Commits on Feb 26, 2026

Commits on Feb 28, 2026

Commits on Mar 4, 2026

Prepare for merging from rust-lang/rust
The Miri Cronjob Bot
committed
Merge ref 'd933cf483edf' from rust-lang/rust
The Miri Cronjob Bot
committed
Merge pull request #4884 from rust-lang/rustup-2026-03-04
oli-obk
authored