rust/src/tools
Dylan DPC b76099429b
Rollup merge of #69336 - Mark-Simulacrum:no-infra-toolstate, r=Dylan-DPC
Do not ping the infrastructure team on toolstate changes

To my knowledge, there is essentially never any particular action that the infra team needs to take on these pings, and they are currently relatively annoying.

cc rust-lang/infra -- does anyone *want* these notifications?
2020-02-23 09:57:38 +01:00
..
build-manifest Rollup merge of #68253 - japaric:bare-metal-cortex-a, r=alexcrichton 2020-01-22 16:02:09 -08:00
cargo@e57bd02999 Update cargo 2020-02-21 13:17:19 -08:00
cargotest Format the world 2019-12-22 17:42:47 -05:00
clippy@8fbb23f254 Update Clippy 2020-02-21 10:32:57 +01:00
compiletest Rollup merge of #69205 - JohnTitor:allow-whitespaces, r=Mark-Simulacrum 2020-02-18 16:07:27 +01:00
error_index_generator Normalize syntax::edition imports. 2020-01-02 19:31:38 +01:00
linkchecker Add shared script for linkchecking books. 2020-02-13 09:50:20 -08:00
miri@ded5a52639 update miri 2020-02-14 09:41:32 +01:00
remote-test-client Format the world 2019-12-22 17:42:47 -05:00
remote-test-server Format the world 2019-12-22 17:42:47 -05:00
rls@10bf331d4d submodules: update rls from 0100ac8 to 10bf331 2020-02-21 13:33:51 +01:00
rust-installer@9f66c14c3f Update rust-installer to limit memory use 2019-08-28 14:48:02 -07:00
rustbook Auto merge of #69115 - ehuss:update-books, r=Dylan-DPC 2020-02-14 19:59:05 +00:00
rustc-std-workspace-alloc Update version of rustc-std-workspace-* crates 2019-09-09 13:02:10 -07:00
rustc-std-workspace-core Update version of rustc-std-workspace-* crates 2019-09-09 13:02:10 -07:00
rustc-std-workspace-std Update version of rustc-std-workspace-* crates 2019-09-09 13:02:10 -07:00
rustc-workspace-hack Update cargo, rls 2020-01-14 09:47:04 -08:00
rustdoc Format the world 2019-12-22 17:42:47 -05:00
rustdoc-js Move documentation build into bootstrap 2019-02-25 17:46:06 +01:00
rustdoc-js-std Make js tests work even with resource-suffix option 2019-03-10 23:10:40 +01:00
rustdoc-themes Format the world 2019-12-22 17:42:47 -05:00
rustfmt@9f53665f91 Update RLS and Rustfmt 2020-02-12 15:47:38 +01:00
tidy Update books. 2020-02-13 08:11:09 -08:00
unicode-table-generator Add unicode table generator 2020-01-14 19:11:15 -05:00
unstable-book-gen Format the world 2019-12-22 17:42:47 -05:00
publish_toolstate.py Do not ping the infrastructure team on toolstate changes 2020-02-20 19:46:09 -05:00