bors 853c4774e2 Auto merge of #69898 - spastorino:rename-rustc-guide2, r=Xanewok ... Move rustc-guide submodule to rustc-dev-guide r? @pietroalbini		2020-04-04 18:17:14 +00:00
..
azure-pipelines	ci: add notice on top of the azure pipelines configuration	2020-03-24 15:36:17 +01:00
docker	Auto merge of #69898 - spastorino:rename-rustc-guide2, r=Xanewok	2020-04-04 18:17:14 +00:00
github-actions	ci: disable cancel-outdated-builds for the try branch	2020-03-31 19:49:36 +02:00
scripts	ci: move the whole workspace directory on gha/linux	2020-03-24 15:36:13 +01:00
cpu-usage-over-time.py	remove unnecessary semicolons	2020-02-07 23:35:27 -05:00
exec-with-shell.py	ci: add github actions configuration	2020-03-24 15:36:07 +01:00
init_repo.sh	…
publish_toolstate.sh	more toolstate comments	2020-03-04 08:30:26 -08:00
run.sh	Set release channel on non-dist builders	2019-12-18 22:44:42 -05:00
shared.sh	ci: another take at fixing toolstate	2020-01-09 09:49:25 +01:00