diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-01-28 13:40:14 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-01-28 13:40:14 +0000 |
| commit | e8f990a3d1488760a9f0ece564f4ed691f29dd8f (patch) | |
| tree | e5097f3d1cc602fabbd6ccc11f96390ec5257399 /crates/ra_arena | |
| parent | 912776fd9547d1d28b4cba7e4a41e5391fc12c21 (diff) | |
| parent | fdc04ef92066fcf3936664d5f5c80d6f088aac29 (diff) | |
Merge #2923
2923: Don't do check progress update for fresh crates r=matklad a=kiljacken
Skip sending progress updates for crates that aren't getting checked.
Co-authored-by: Emil Lauridsen <[email protected]>
Diffstat (limited to 'crates/ra_arena')
0 files changed, 0 insertions, 0 deletions