./miri run: support -v flag to print what it is doing

rust-lang / miri

An interpreter for Rust's mid-level intermediate representation

Apache License 2.0

4.16k stars 318 forks source link

Closed RalfJung closed 2 months ago

RalfJung commented 2 months ago

@bors r+

bors commented 2 months ago

:pushpin: Commit cac4a8e7c4fcb68095627c166d5b79d8d8f65682 has been approved by RalfJung

It is now in the queue for this repository.

bors commented 2 months ago

:hourglass: Testing commit cac4a8e7c4fcb68095627c166d5b79d8d8f65682 with merge 7effc5db0b7ec8ba2a88d89fecec0b08a7eeb00c...

bors commented 2 months ago

:sunny: Test successful - checks-actions Approved by: RalfJung Pushing 7effc5db0b7ec8ba2a88d89fecec0b08a7eeb00c to master...