diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-07-30 11:12:58 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-07-30 11:12:58 +0100 |
commit | 570fdf26c90758c04b90fadfe1b0e6ee684c6dbe (patch) | |
tree | e7eab455dd13967e84dbb772fbccee428b077cf8 /crates | |
parent | dc49f88f17c760bb105625d8dd69f439ff7cdc9e (diff) | |
parent | 5cb3d527b0b527375dbc30f90836220b9a557b21 (diff) |
Merge #5584
5584: Rename metric r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'crates')
-rw-r--r-- | crates/rust-analyzer/src/cli/analysis_stats.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/crates/rust-analyzer/src/cli/analysis_stats.rs b/crates/rust-analyzer/src/cli/analysis_stats.rs index 73ec3204b..187a0ebe6 100644 --- a/crates/rust-analyzer/src/cli/analysis_stats.rs +++ b/crates/rust-analyzer/src/cli/analysis_stats.rs | |||
@@ -295,7 +295,7 @@ pub fn analysis_stats( | |||
295 | eprintln!("Total: {}", total_span); | 295 | eprintln!("Total: {}", total_span); |
296 | report_metric("total time", total_span.time.as_millis() as u64, "ms"); | 296 | report_metric("total time", total_span.time.as_millis() as u64, "ms"); |
297 | if let Some(instructions) = total_span.instructions { | 297 | if let Some(instructions) = total_span.instructions { |
298 | report_metric("total time", instructions, "#instr"); | 298 | report_metric("total instructions", instructions, "#instr"); |
299 | } | 299 | } |
300 | if let Some(memory) = total_span.memory { | 300 | if let Some(memory) = total_span.memory { |
301 | report_metric("total memory", memory.allocated.megabytes() as u64, "MB"); | 301 | report_metric("total memory", memory.allocated.megabytes() as u64, "MB"); |