Closed JKRhb closed 1 year 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 2521531535: | -0.02% |
Covered Lines: | 2842 |
Relevant Lines: | 3055 |
I noticed that the two options are currently not supported. This PR adds them as additional features to the project.