search

rust-lang / miri

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

Rustup #3563

Closed RalfJung closed 6 months ago

RalfJung commented 6 months ago

@bors r+

bors commented 6 months ago

:pushpin: Commit c3ee0077a3e43b01eaa02985b4946b74be9b8bc0 has been approved by RalfJung

It is now in the queue for this repository.

bors commented 6 months ago

:hourglass: Testing commit c3ee0077a3e43b01eaa02985b4946b74be9b8bc0 with merge 5c32d0aa6942823536e61e50f3376236edcfc030...

bors commented 6 months ago

:sunny: Test successful - checks-actions Approved by: RalfJung Pushing 5c32d0aa6942823536e61e50f3376236edcfc030 to master...