diff options
| author | bors <bors@rust-lang.org> | 2022-07-23 05:28:35 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2022-07-23 05:28:35 +0000 |
| commit | 7d0a55bcdc262d12447942e028c480b2387076ea (patch) | |
| tree | 140e40aadf52a0ac2ff918a792b15390ca51f8af /src/tools | |
| parent | ed793d86daa67fb1117dd1db8da5da765e0fc773 (diff) | |
| parent | 2564a080d8e252f7bb44a0186564a52e72750a65 (diff) | |
| download | rust-7d0a55bcdc262d12447942e028c480b2387076ea.tar.gz rust-7d0a55bcdc262d12447942e028c480b2387076ea.zip | |
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
Diffstat (limited to 'src/tools')
| m--------- | src/tools/miri | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/src/tools/miri b/src/tools/miri -Subproject dac1676eb3bea10e94404bc5b40412742ea5e8d +Subproject 963f08b702caf7a06eed564312933ec50dd07f5 |