Private repo: There was an error processing coverage reports

Ah, I should have recommended that. We did a fix to the uploaders a few days ago.