test wasm32-wasip2 instead of the deprecated wasm32-wasi target

rust-lang / miri

An interpreter for Rust's mid-level intermediate representation

Apache License 2.0

4.14k stars 318 forks source link

Closed RalfJung closed 1 month ago

RalfJung commented 1 month ago

@bors r+

bors commented 1 month ago

:pushpin: Commit b8bdfc8b96d1d912bfb93bc24ffdc3a39bb93f06 has been approved by RalfJung

It is now in the queue for this repository.

bors commented 1 month ago

:hourglass: Testing commit b8bdfc8b96d1d912bfb93bc24ffdc3a39bb93f06 with merge f763474eae8d388e09e594f91ecaf5c38717fd51...

bors commented 1 month ago

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