Shown code coverage differs between app.codecov.io and codecov.io

@rillig, we rolled out a fix for this, and it’s looking the same now. Are you still seeing an issue?