Closed RalfJung closed 2 months ago
@bors r+
:pushpin: Commit 4af9665e49a741bc045442ba149e7823db813b21 has been approved by RalfJung
It is now in the queue for this repository.
:hourglass: Testing commit 4af9665e49a741bc045442ba149e7823db813b21 with merge 897740ad4c8be2f0cf919987a13552748fbce966...
:sunny: Test successful - checks-actions Approved by: RalfJung Pushing 897740ad4c8be2f0cf919987a13552748fbce966 to master...
This is needed to make miri-script build on stable (as is done by the
./miri
script) when the parent package uses unstable cargo features.