search

rust-lang / miri

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

make basic things work on Android #3616

Closed RalfJung closed 1 month ago

RalfJung commented 1 month ago

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

RalfJung commented 1 month ago

@bors r+

bors commented 1 month ago

:pushpin: Commit 0f617aeb1d6c1e55e58543de427f7ba6e64bb550 has been approved by RalfJung

It is now in the queue for this repository.

bors commented 1 month ago

:hourglass: Testing commit 0f617aeb1d6c1e55e58543de427f7ba6e64bb550 with merge 7bfc04914d78d3810a65a0e7ae8e9b43d20a8787...

bors commented 1 month ago

:broken_heart: Test failed - checks-actions

RalfJung commented 1 month ago

@bors r+

bors commented 1 month ago

:pushpin: Commit 2349d03bb5bec487588ecb09555f03b0f0d46ab8 has been approved by RalfJung

It is now in the queue for this repository.

bors commented 1 month ago

:hourglass: Testing commit 2349d03bb5bec487588ecb09555f03b0f0d46ab8 with merge 97cd966092fa6b073f4a910c5d0642aa9724c789...

bors commented 1 month ago

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