GitHub Comment says the pull request didn’t change any code, while the " Continue to review full report at Codecov." link shows coverage correclty.
The comment that says lines of code after the pull request didn’t change:
Link to comment: https://github.com/miekg/dns/pull/1067#issuecomment-569606856
Steps to Reproduce
It’s still broken.
Expected behavior: The GitHub comment should show the same as what “Continue to review full report at Codecov.” shows.
Actual behavior: The GitHub comment says my pull request changed nothing.
Flakiness? First the bot edited the comment for 1afa143, displayed coverage correctly, then it edited its comment for the same commit again which was broken.
In the pull request there has been several times I edited the last commit and re-force-pushed or pushed multiple commits at once.