Sometimes data in the metrics summary slide might not reflect the latest coverage slides and the metrics would be incorrect. For example, when you delete a few coverage slides manually the metrics summary slide will not update automatically.
To fix this issue, you just need to click PR Metrics Summary slide > Refresh metrics summary button in the sidebar to get the correct stats.
