Closed RalfJung closed 3 months ago
@bors r+
:pushpin: Commit 90970e31999466f06d45b4842ddc2392edcf1a32 has been approved by RalfJung
It is now in the queue for this repository.
:hourglass: Testing commit 90970e31999466f06d45b4842ddc2392edcf1a32 with merge 28aa08e0344c4e9d08d4658e93d5d9fa9d32f3fa...
:sunny: Test successful - checks-actions Approved by: RalfJung Pushing 28aa08e0344c4e9d08d4658e93d5d9fa9d32f3fa to master...
Fixes https://github.com/rust-lang/miri/issues/3679