search

rust-lang / miri

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

Rustup #3414

Closed RalfJung closed 5 months ago

RalfJung commented 5 months ago

Fixes https://github.com/rust-lang/miri/issues/3404

RalfJung commented 5 months ago

The last commit is needed for https://github.com/rust-lang/miri/issues/3404.

@bors r+

bors commented 5 months ago

:pushpin: Commit dee88d7d36d35a342e2297e17094bea1fb2fcb3c has been approved by RalfJung

It is now in the queue for this repository.

bors commented 5 months ago

:hourglass: Testing commit dee88d7d36d35a342e2297e17094bea1fb2fcb3c with merge c941fcd9a735a8eec1e45844a08a6d8d39c4f454...

bors commented 5 months ago

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