rust-lang / miri

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

simd_select_bitmask: fix intrinsic name in error #3660

Closed RalfJung closed 3 weeks ago

RalfJung commented 3 weeks ago

oops

RalfJung commented 3 weeks ago

@bors r+

bors commented 3 weeks ago

:pushpin: Commit 8aa11f01ccf65ba56f11b7f493b78cd855dfadc5 has been approved by RalfJung

It is now in the queue for this repository.

bors commented 3 weeks ago

:hourglass: Testing commit 8aa11f01ccf65ba56f11b7f493b78cd855dfadc5 with merge 95298a7ae4f6d33ffd55babbf7bad7d8ecd744b1...

bors commented 3 weeks ago

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