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