Closed Starkmann closed 1 month ago
This pull request's base commit is no longer the HEAD commit of its target branch. This means it includes changes from outside the original pull request, including, potentially, unrelated coverage changes.
Totals | |
---|---|
Change from base Build 10148857135: | 0.0% |
Covered Lines: | 46 |
Relevant Lines: | 46 |
We have failed to get this to work and have decided that this tool isn't worth the hassle at the moment. Closing.
Resolves: #447