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 #3635

Closed RalfJung closed 1 month ago

RalfJung commented 1 month ago

@bors r+

bors commented 1 month ago

:pushpin: Commit 885ea236018ed70fdcff44131e92510928c86496 has been approved by RalfJung

It is now in the queue for this repository.

bors commented 1 month ago

:hourglass: Testing commit 885ea236018ed70fdcff44131e92510928c86496 with merge 10d8c3572cff05fe79d472c405a1ab171eadf1da...

bors commented 1 month ago

:sunny: Test successful - checks-actions Approved by: RalfJung Pushing 10d8c3572cff05fe79d472c405a1ab171eadf1da to master...