Uploading coverage to Codecov doesn't work

Tue Jul 14 17:54:13 UTC 2020

On Tuesday, 14 July 2020 at 17:52:25 UTC, Basile B. wrote:
> On Tuesday, 14 July 2020 at 11:05:17 UTC, Mitacha wrote:
>> On Saturday, 11 July 2020 at 09:43:39 UTC, Basile B. wrote:
>>> On Wednesday, 8 July 2020 at 15:55:58 UTC, Mitacha wrote:
>> I filed an issue on codecov community forum 
>> https://community.codecov.io/t/uploading-d-lang-coverage-doesnt-work/1740
>> So hopefully, someone will look at this.
>
> Bookmarked. Thanks much for taking the time to register on 
> their forums, I didn't want to.

Forgot to say. In my case I suspect that this is caused by a 
force push, like here 
https://community.codecov.io/t/force-push-intermittently-leads-to-codecov-not-updating-pr/68/2. But a problem can hide another I might be afected by this one plus the same as you, who knows.