]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Auto merge of #97546 - RalfJung:miri, r=oli-obk
authorbors <bors@rust-lang.org>
Mon, 30 May 2022 11:59:55 +0000 (11:59 +0000)
committerbors <bors@rust-lang.org>
Mon, 30 May 2022 11:59:55 +0000 (11:59 +0000)
commit946a88a989acdcc3b0d05a666eaac0db414ec2cd
tree6fd3b1c8ff7f0b1ca61366fca83b66057ded1358
parent5c780b98d10f48d6255cf2deb2643194b9221c02
parent962d54e5e8e58319ebaea389ab1314d3367c594d
Auto merge of #97546 - RalfJung:miri, r=oli-obk

update Miri

First update with the new ui test suite, let's hope this all works. :)
r? `@oli-obk`

Fixes https://github.com/rust-lang/rust/issues/97486