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

Merged

bors merged 2 commits intorust-lang:masterfrom RalfJung:miri-manifest

Sep 16, 2019

Commits on Sep 14, 2019

when BUILD_MANIFEST_DISABLE_SIGNING is set, we don't need gpg-password-file
RalfJung
committed
build-manifest: when Miri tests are not passing, do not add Miri component
RalfJung
committed