bors b09ae31da0 Auto merge of #871 - RalfJung:miri-rustc-cleanup, r=RalfJung ...

Cleanup after rustc bootstrap tests Miri with a separate libstd

Should only be merged after https://github.com/rust-lang/rust/pull/63162 got the green light.

2019-08-08 20:43:47 +00:00

..

compile-fail

Auto merge of #871 - RalfJung:miri-rustc-cleanup, r=RalfJung

2019-08-08 20:43:47 +00:00

run-pass

Auto merge of #886 - Aaron1011:shim/getrandom, r=RalfJung

2019-08-04 21:02:08 +00:00

compiletest.rs

Auto merge of #871 - RalfJung:miri-rustc-cleanup, r=RalfJung

2019-08-08 20:43:47 +00:00