]> git.lizzy.rs Git - rust.git/commitdiff
projects / rust.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 844bc65 b817403)
Auto merge of #50573 - oli-obk:tool_sanity, r=kennytm
authorbors <bors@rust-lang.org>
Sun, 13 May 2018 03:44:00 +0000 (03:44 +0000)
committerbors <bors@rust-lang.org>
Sun, 13 May 2018 03:44:00 +0000 (03:44 +0000)
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


Trivial merge
Empowering everyone to build reliable and efficient software.