Closed RalfJung closed 5 months ago
@bors r+
:pushpin: Commit 70ea58142ec3135d49346d8e3806b5529de22c4c has been approved by RalfJung
It is now in the queue for this repository.
:hourglass: Testing commit 70ea58142ec3135d49346d8e3806b5529de22c4c with merge ea338c77ead9e4b7fcee9860611fcab14138f70a...
:broken_heart: Test failed - checks-actions
@bors r+
:pushpin: Commit 03b6dae6d2f4893c89f5a87224e4a75238560911 has been approved by RalfJung
It is now in the queue for this repository.
:hourglass: Testing commit 03b6dae6d2f4893c89f5a87224e4a75238560911 with merge bdfc0b686f371f1d8bab85898f35c91d64c29227...
:sunny: Test successful - checks-actions Approved by: RalfJung Pushing bdfc0b686f371f1d8bab85898f35c91d64c29227 to master...
Fixes https://github.com/rust-lang/miri/issues/3424