only show the 'basic API common for this target' message when this is a missing foreign function - Githubissues

rust-lang / miri

An interpreter for Rust's mid-level intermediate representation

Apache License 2.0

4.16k stars 318 forks source link

only show the 'basic API common for this target' message when this is a missing foreign function #3562

Closed RalfJung closed 2 months ago

RalfJung commented 2 months ago

Follow-up to https://github.com/rust-lang/miri/pull/3558

RalfJung commented 2 months ago

@bors r+

bors commented 2 months ago

:pushpin: Commit a4dd2b0fca55cac50ddf0becd6fda8cec5ba8342 has been approved by RalfJung

It is now in the queue for this repository.

bors commented 2 months ago

:hourglass: Testing commit a4dd2b0fca55cac50ddf0becd6fda8cec5ba8342 with merge 56822f1068d35ccd7a41e6d56aced607057b339a...

bors commented 2 months ago

:broken_heart: Test failed - checks-actions

RalfJung commented 2 months ago

@bors r+

bors commented 2 months ago

:pushpin: Commit 100c718ee7bf479df7763f78b4c268a05a109333 has been approved by RalfJung

It is now in the queue for this repository.

bors commented 2 months ago

:hourglass: Testing commit 100c718ee7bf479df7763f78b4c268a05a109333 with merge fb78667674f1281b40d69d5baed194d255415ed8...

bors commented 2 months ago

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