Closed RalfJung closed 2 months ago
@bors r+
:pushpin: Commit a41b75a89f536cdac70131ee7ce24b3cb1973ffc has been approved by RalfJung
It is now in the queue for this repository.
:hourglass: Testing commit a41b75a89f536cdac70131ee7ce24b3cb1973ffc with merge 6274f8ae4b91decabe3c9c0f23b41ad12882f21e...
:broken_heart: Test failed - checks-actions
@bors r+
:pushpin: Commit ab307375b4183cc7fb71db8d18adcbf06e95a82f has been approved by RalfJung
It is now in the queue for this repository.
:lock: Merge conflict
This pull request and the master branch diverged in a way that cannot be automatically merged. Please rebase on top of the latest master branch, and let the reviewer approve again.
@bors r+
:pushpin: Commit c2562d01382ee69094f9706ebd6d3f0cc1cd9484 has been approved by RalfJung
It is now in the queue for this repository.
:hourglass: Testing commit c2562d01382ee69094f9706ebd6d3f0cc1cd9484 with merge 5dfccc2b9fef5ca5d3d88315842811f7b14865f7...
:sunny: Test successful - checks-actions Approved by: RalfJung Pushing 5dfccc2b9fef5ca5d3d88315842811f7b14865f7 to master...
Fixes https://github.com/rust-lang/miri/issues/2774