when Miri tests are not passing, do not add Miri component#66053

Merged

bors merged 4 commits intorust-lang:masterfrom RalfJung:miri-toolstate

Nov 5, 2019

+24-1

Commits on Nov 3, 2019

when Miri tests are not passing, do not add Miri component
RalfJung
committed
don't fail manifest creation if the toolstate file is missing or mal-formed
RalfJung
committed

Commits on Nov 4, 2019