On busy multi week/month PRs with a lot of comments, coverage comment gets posted multiple times.
On busy multi week/month PRs with a lot of comments, coverage comment gets posted multiple times.