]> git.lizzy.rs Git - rust.git/commitdiff
Auto merge of #1865 - rust-lang:test-cargo-miri, r=RalfJung
authorbors <bors@rust-lang.org>
Sat, 7 Aug 2021 12:55:06 +0000 (12:55 +0000)
committerbors <bors@rust-lang.org>
Sat, 7 Aug 2021 12:55:06 +0000 (12:55 +0000)
improve test-cargo-miri output


Trivial merge