search

rust-lang / miri

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

Illumos part3 #3575

Closed devnexen closed 1 month ago

devnexen commented 1 month ago

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

RalfJung commented 1 month ago

That CI failure is actually a legit bug in std, I think: https://github.com/rust-lang/rust/issues/124787.

devnexen commented 1 month ago

That CI failure is actually a legit bug in std, I think: rust-lang/rust#124787.

alright .. same will wait the getrandom part being merged to pick up this PR.

bors commented 1 month ago

:umbrella: The latest upstream changes (presumably #3579) made this pull request unmergeable. Please resolve the merge conflicts.

RalfJung commented 1 month ago

CI fails because https://github.com/rust-lang/rust/pull/124766 isn't picked up automatically; I have to do a rustc-pull for that.

But let's wait for https://github.com/rust-lang/rust/pull/124798 to land first, so we can do it all at once.

RalfJung commented 1 month ago

https://github.com/rust-lang/miri/pull/3602 landed, so if you rebase again it should pick up your rustc PRs.

devnexen commented 1 month ago

@rustbot ready

RalfJung commented 1 month ago

@rustbot author

devnexen commented 1 month ago

@rustbot ready

RalfJung commented 1 month ago

Looks good, thanks! @bors r+

bors commented 1 month ago

:pushpin: Commit 20a0257be6ac3a567274229357ab35719d24c6b6 has been approved by RalfJung

It is now in the queue for this repository.

bors commented 1 month ago

:hourglass: Testing commit 20a0257be6ac3a567274229357ab35719d24c6b6 with merge 8e3686078cc544220aa499e46abe6c0a8d215686...

bors commented 1 month ago

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