Closed ranocha closed 2 years ago
Thanks for working on this! What I don't understand is why there is coverage reporting
but it does not say how much it has changed. It seems that like this it is not very useful, isn't it? What is different to, e.g., our Trixi setup, where we have this information directly in the status:
You didn't enable Coveralls before. Let's merge this and see how it behaves the next time
This also serves as a test whether coverage reports work fine. I triggered a CI run manually. If everything works fine, we should also update the required CI stuff to include coveralls
Closes #5