search

rust-lang / miri

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

Rustup #3623

Closed RalfJung closed 1 month ago

RalfJung commented 1 month ago

@bors r+

bors commented 1 month ago

:pushpin: Commit 6cbb540150f846d49633006c45d4e5cb837375bf has been approved by RalfJung

It is now in the queue for this repository.

bors commented 1 month ago

:hourglass: Testing commit 6cbb540150f846d49633006c45d4e5cb837375bf with merge cf4c0d1ae460506604fd1997e563f300f8d6074d...

bors commented 1 month ago

:broken_heart: Test failed - checks-actions

RalfJung commented 1 month ago

@bors r+

bors commented 1 month ago

:pushpin: Commit a1aed159d181282b9e93b974103745b2dd2bfa45 has been approved by RalfJung

It is now in the queue for this repository.

bors commented 1 month ago

:hourglass: Testing commit a1aed159d181282b9e93b974103745b2dd2bfa45 with merge 25d6cd1c4ecb524b54d89ebbe8b1374a5fa93516...

bors commented 1 month ago

:sunny: Test successful - checks-actions Approved by: RalfJung Pushing 25d6cd1c4ecb524b54d89ebbe8b1374a5fa93516 to master...