I noticed that when creating a PR (e.g., #4), there is no reporting of total or patch coverage. This makes it hard to decide if a PR has sufficient test coverage. If you have time, @ranocha it would be great if you could have a look and find out what is wrong/missing; I can then try to fix it.
I noticed that when creating a PR (e.g., #4), there is no reporting of total or patch coverage. This makes it hard to decide if a PR has sufficient test coverage. If you have time, @ranocha it would be great if you could have a look and find out what is wrong/missing; I can then try to fix it.