Hi @tom,
Thanks for you reply.
It was happening quite often until the end of last week, but these last days it seems to have become much better.
Considering I posted my last message about ~2 hours after the last commit, something might have been stuck (on CodeCov?) somewhere after the specs ran (and at that time it was still showing 38 builds…), but now it looks good indeed 
I checked the recently merged PRs and everything seems fine these day 
Also I have been fixing some non-deterministic code paths in coverage of our tests recently and that might have some positive side effects ?
Anyway, if no other concerns, please consider this fixed/working on our end
Thank you for your time on this concern! 
Camille,