Don't release Miri if its tests only failed on Windows#81666

Merged

bors merged 2 commits intomasterfrom

unknown repository

Feb 13, 2021

Commits on Feb 5, 2021

Don't release Miri if its tests only failed on Windows
hyd-dev
committed

Commits on Feb 6, 2021

Extend the comment of `check_toolstate()` to clarify that the tool won't be shipped on all targets
hyd-dev
committed