]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Auto merge of #99599 - RalfJung:miri-stage-0, r=RalfJung
authorbors <bors@rust-lang.org>
Sat, 23 Jul 2022 05:28:35 +0000 (05:28 +0000)
committerbors <bors@rust-lang.org>
Sat, 23 Jul 2022 05:28:35 +0000 (05:28 +0000)
commit7d0a55bcdc262d12447942e028c480b2387076ea
tree140e40aadf52a0ac2ff918a792b15390ca51f8af
parented793d86daa67fb1117dd1db8da5da765e0fc773
parent2564a080d8e252f7bb44a0186564a52e72750a65
Auto merge of #99599 - RalfJung:miri-stage-0, r=RalfJung

miri: make --stage 0 testing work

This needs https://github.com/rust-lang/miri/pull/2415 or it'll break Miri entirely.

also fixes https://github.com/rust-lang/rust/issues/99589