Closed RalfJung closed 1 month ago
@bors r+
:pushpin: Commit 321a3f0752749d8ba663fedc415c770122eb3936 has been approved by RalfJung
It is now in the queue for this repository.
:hourglass: Testing commit 321a3f0752749d8ba663fedc415c770122eb3936 with merge 7cbaf0eb5026adad792d3b1af0ff50a27789511f...
:sunny: Test successful - checks-actions Approved by: RalfJung Pushing 7cbaf0eb5026adad792d3b1af0ff50a27789511f to master...
This is the Miri version of https://github.com/rust-lang/rust/pull/124914