coverage badge underestimate
AntonioCarta opened this issue · comments
The coverage badges are ignoring a lot of the tests we are running, especially checkpointing and distributed tests. @lrzpellegrini do you know if there is any way to make them consider those tests too?
It goes without saying but this is very low priority.