search

rust-lang / miri

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

Manual Rustup #3711

Closed saethlin closed 3 days ago

saethlin commented 3 days ago

This bumps us to a rustc commit that doesn't have the chatty ./miri fmt reported in https://rust-lang.zulipchat.com/#narrow/stream/269128-miri/topic/.22rewriting.20static.22.20printed.20during.20.2E.2Fmiri.20build

saethlin commented 3 days ago

@bors r+

bors commented 3 days ago

:pushpin: Commit 062f92257b668242c4d8813025c486952526e8d9 has been approved by saethlin

It is now in the queue for this repository.

bors commented 3 days ago

:hourglass: Testing commit 062f92257b668242c4d8813025c486952526e8d9 with merge 5011017e5bbfd7b46b4add79d2fc9d7737a080b0...

bors commented 3 days ago

:sunny: Test successful - checks-actions Approved by: saethlin Pushing 5011017e5bbfd7b46b4add79d2fc9d7737a080b0 to master...