bors 6fc409ed09 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		2018-05-13 03:44:00 +00:00
..
docker	Auto merge of #50573 - oli-obk:tool_sanity, r=kennytm	2018-05-13 03:44:00 +00:00
init_repo.sh	Update submodules in parallel	2018-03-19 04:50:30 +01:00
run.sh	Check that rustc can be built successfully with parallel queries for PRs.	2018-05-04 06:54:21 +02:00
shared.sh	Retry when downloading the Docker cache.	2018-05-10 20:06:43 +08:00