coverage badge underestimate
AntonioCarta opened this issue · comments
Antonio Carta commented
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.