Closed RalfJung closed 1 month ago
@bors r+
:pushpin: Commit 834afd9888a8886cda34b7e9e4108c222da0805f has been approved by RalfJung
It is now in the queue for this repository.
:hourglass: Testing commit 834afd9888a8886cda34b7e9e4108c222da0805f with merge e1473e621c1268564d560cafbbc52e4d3e41f595...
:sunny: Test successful - checks-actions Approved by: RalfJung Pushing e1473e621c1268564d560cafbbc52e4d3e41f595 to master...
They are just used to communicate between
./miri test
/./x.py test miri
and the test harness, but should not be used by users.