diff options
| author | Mark Rousskov <mark.simulacrum@gmail.com> | 2020-02-20 19:46:09 -0500 |
|---|---|---|
| committer | Mark Rousskov <mark.simulacrum@gmail.com> | 2020-02-20 19:46:09 -0500 |
| commit | e7ee42baeb54f6484fa76a88e03b3168ff3147ce (patch) | |
| tree | 2bb739033debf5fd05126fe7ba96765a0ec4bf1e /src/test/rustdoc-ui/coverage/json.rs | |
| parent | 6af388b25050bca26710be7e4030e17bf6d8d2f7 (diff) | |
| download | rust-e7ee42baeb54f6484fa76a88e03b3168ff3147ce.tar.gz rust-e7ee42baeb54f6484fa76a88e03b3168ff3147ce.zip | |
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.
Diffstat (limited to 'src/test/rustdoc-ui/coverage/json.rs')
0 files changed, 0 insertions, 0 deletions