From: bors <bors@rust-lang.org>
Date: Sun, 13 May 2018 03:44:00 +0000 (+0000)
Subject: Auto merge of #50573 - oli-obk:tool_sanity, r=kennytm
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=6fc409ed0938cd2f501642abcaa675977fa5035a;hp=-c;p=rust.git

Auto merge of #50573 - oli-obk:tool_sanity, r=kennytm

Don't require clippy/miri for beta

r? @kennytm

cc @alexcrichton

I'm trying this out locally atm to see if it works as I think it should. Not sure how to test it for real except wait for the next beta.

fixes #50557
---

6fc409ed0938cd2f501642abcaa675977fa5035a