cargo-miri: use rustc to determine the output filename#2741
Merged
bors merged 1 commit intorust-lang:masterfrom Dec 27, 2022
Merged
cargo-miri: use rustc to determine the output filename#2741bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom
