search

rust-lang / miri

An interpreter for Rust's mid-level intermediate representation
Apache License 2.0
4.14k stars 318 forks source link

use a little arg-parsing helper for miri-script #3621

Closed RalfJung closed 1 month ago

RalfJung commented 1 month ago

@bors r+

bors commented 1 month ago

:pushpin: Commit f834721e57b9b4369b5c5173612b0ecf8e5ca5df has been approved by RalfJung

It is now in the queue for this repository.

bors commented 1 month ago

:hourglass: Testing commit f834721e57b9b4369b5c5173612b0ecf8e5ca5df with merge c873babcaa44d5d96b363dce8d5a5c00f9c6876d...

RalfJung commented 1 month ago

@bors retry r+

bors commented 1 month ago

:pushpin: Commit 48db5f152bdaf53662fbb907315518d5af68dc7b has been approved by RalfJung

It is now in the queue for this repository.

bors commented 1 month ago

:hourglass: Testing commit 48db5f152bdaf53662fbb907315518d5af68dc7b with merge 8ffd0fb6edfc50cd9bc1d9176484eed0690976ad...

RalfJung commented 1 month ago

@bors retry r+

bors commented 1 month ago

:pushpin: Commit 060fd175a6b65994c761cb7d3a8778a61d5cfa37 has been approved by RalfJung

It is now in the queue for this repository.

bors commented 1 month ago

:hourglass: Testing commit 060fd175a6b65994c761cb7d3a8778a61d5cfa37 with merge 654cb0dcb0a1e58f3835e0d8c464f2dedaa58ac5...

bors commented 1 month ago

:sunny: Test successful - checks-actions Approved by: RalfJung Pushing 654cb0dcb0a1e58f3835e0d8c464f2dedaa58ac5 to master...