The metrics page doesn't show the time when each commit was benchmarked. Also, it doesn't work properly on mobile. I made a PR to fix this, but apparently the PR has been overlooked.
@matklad @lnicola It would be great if one of you could review the PR. Also, I appreciate the work you put into rust-analyzer, so thank you!
The metrics page doesn't show the time when each commit was benchmarked. Also, it doesn't work properly on mobile. I made a PR to fix this, but apparently the PR has been overlooked.
@matklad @lnicola It would be great if one of you could review the PR. Also, I appreciate the work you put into rust-analyzer, so thank you!