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