Use .wasm extension when building for wasm in cargo-miri#2685
Merged
bors merged 1 commit intorust-lang:masterfrom Noratrieb:cargo-miri-wasmNov 27, 2022
+3-1
.wasm extension when building for wasm in cargo-miri#2685