diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-12-24 13:40:29 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-12-24 13:40:29 +0000 |
| commit | a31ee54afa5edfc3c470e3b1cdb5a553c0176d33 (patch) | |
| tree | 5355e5f3ebf422cb74501594ba1b73e492053b7c /.gitattributes | |
| parent | aebf7ee2b65fdb51e125fc1461554cd9f673c60e (diff) | |
| parent | b21a79364a6fdcfc6746a6f938c5b2a2e30128b0 (diff) | |
Merge #7029
7029: Flush stdout when clearing the progress bar r=lnicola a=lnicola
To prevent this from happening:
```
Database loaded 496.24ms, 288mi
Crates in this dir: 1
Total modules found: 14
Total declarations: 159
Total functions: 122
Item Collection: 6.02s, 61846mi
122/122 100% processing: archive::sizeTotal expressions: 6592
Expressions of unknown type: 4 (0%)
Expressions of partially unknown type: 104 (1%)
Type mismatches: 3
Inference: 1.03s, 8622mi
Total: 7.05s, 70468mi
```
Co-authored-by: Laurențiu Nicola <[email protected]>
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions