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

Closed github-actions[bot] closed 2 weeks ago

RalfJung commented 2 weeks ago

@bors r+

bors commented 2 weeks ago

:pushpin: Commit 540e7c016dd7df0efd9336eb522b5fdb0eae701a has been approved by RalfJung

It is now in the queue for this repository.

bors commented 2 weeks ago

:hourglass: Testing commit 540e7c016dd7df0efd9336eb522b5fdb0eae701a with merge d82c69bf58a176c76bcbdb8f05373540c7060830...

bors commented 2 weeks ago

:broken_heart: Test failed - checks-actions

RalfJung commented 2 weeks ago

@bors r+

bors commented 2 weeks ago

:pushpin: Commit 75ca8d2ea083c6ebdcb335dc536315b0a74d5e5b has been approved by RalfJung

It is now in the queue for this repository.

bors commented 2 weeks ago

:hourglass: Testing commit 75ca8d2ea083c6ebdcb335dc536315b0a74d5e5b with merge 3a93469c58ed5dd7303e40edf15dfeacb723a263...

bors commented 2 weeks ago

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