Add checking for tool distribution in Tier 1#54638

Merged

bors merged 3 commits intorust-lang:masterfrom pvdrz:master

Oct 4, 2018

+36-5

Commits on Sep 28, 2018

Commits on Oct 1, 2018

Fix conditions to allow missing tools in CI
pvdrz
committed