Codecov in CI often fails without apparent reason

[felixdivo]

This was notable in many of the recent pull requests. For example: #1075 essentially only removed comments, so it should have nearly no impact on the coverage. However, this is what the codecov bot reports (here):

Besides being annoying, ~it also breaks the mergify auto-merge rule~. Furthermore, it makes determining whether a PR is good to be merged quite hard.

[felixdivo]

@zariiii9003 mentioned this issue and a possible solution here.

[hardbyte]

Fixed in #1430

[felixdivo]

Thanks @hardbyte! :partying_face: