diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-02-01 15:41:55 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-02-01 15:41:55 +0000 |
commit | 3f499489f79d05f8cc31b72055155e91bc78fddc (patch) | |
tree | 170c625c712b602c912ffb516ffdc9594818f547 /crates/ra_hir_ty/src/diagnostics.rs | |
parent | eba599d9863553d0f7d9d93f4c9050943da171cc (diff) | |
parent | d4d72e8b9b3cc8b9ce72444a11e16cfa606a7f59 (diff) |
Merge #2964
2964: Improve responsiveness of the cargo check status label r=matklad a=lnicola
This is still not ideal because the label displays the crate that was just checked, not the one that's currently being checked. But it should give the impression of being faster.
Co-authored-by: Laurențiu Nicola <[email protected]>
Diffstat (limited to 'crates/ra_hir_ty/src/diagnostics.rs')
0 files changed, 0 insertions, 0 deletions