search

rust-lang / miri

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

Automatic Rustup #3693

Closed github-actions[bot] closed 1 week ago

oli-obk commented 1 week ago

@bors r+

bors commented 1 week ago

:pushpin: Commit 72ae31cbfc0fc389e552b86e038b0c4f8ce519b5 has been approved by oli-obk

It is now in the queue for this repository.

bors commented 1 week ago

:hourglass: Testing commit 72ae31cbfc0fc389e552b86e038b0c4f8ce519b5 with merge b2ae77f2a07fd3e0c6fe338513e0ca04a56992e0...

bors commented 1 week ago

:sunny: Test successful - checks-actions Approved by: oli-obk Pushing b2ae77f2a07fd3e0c6fe338513e0ca04a56992e0 to master...