Format metrics; add (min, med, max) for timing metrics #1054
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Shows up like this now:
![Screenshot 2023-08-29 at 9 40 49 PM](https://private-user-images.githubusercontent.com/25999807/264084551-508b67a7-583d-49b4-9e28-86f17c1788f0.png?jwt=eyJhbGciOiJIUzI1NiIsInR5cCI6IkpXVCJ9.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3MjA2NDcwNDksIm5iZiI6MTcyMDY0Njc0OSwicGF0aCI6Ii8yNTk5OTgwNy8yNjQwODQ1NTEtNTA4YjY3YTctNTgzZC00OWI0LTllMjgtODZmMTdjMTc4OGYwLnBuZz9YLUFtei1BbGdvcml0aG09QVdTNC1ITUFDLVNIQTI1NiZYLUFtei1DcmVkZW50aWFsPUFLSUFWQ09EWUxTQTUzUFFLNFpBJTJGMjAyNDA3MTAlMkZ1cy1lYXN0LTElMkZzMyUyRmF3czRfcmVxdWVzdCZYLUFtei1EYXRlPTIwMjQwNzEwVDIxMjU0OVomWC1BbXotRXhwaXJlcz0zMDAmWC1BbXotU2lnbmF0dXJlPTc1N2U1NjRhZDBlMDYxNzEwMTc5M2YxNzhhOTk1MTk5NDk0NDFmNjcxMmU3NGM4NzY1ZGY5OTQzMjkxMzVlMTUmWC1BbXotU2lnbmVkSGVhZGVycz1ob3N0JmFjdG9yX2lkPTAma2V5X2lkPTAmcmVwb19pZD0wIn0.Fa_vUCEQ6kXwnAKoxlHWLocBIfoDdtm7AGUyZCyNDhM)