search

rust-lang / miri

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

Automatic Rustup #3985

Closed github-actions[bot] closed 1 month ago

RalfJung commented 1 month ago

@bors r+

bors commented 1 month ago

:pushpin: Commit b0972c209fcdc35bf957bd3db3efcb5df60e4581 has been approved by RalfJung

It is now in the queue for this repository.

bors commented 1 month ago

:hourglass: Testing commit b0972c209fcdc35bf957bd3db3efcb5df60e4581 with merge c4dea499faa685f6da6e7085f3728f0a5040a115...

bors commented 1 month ago

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