Closed bjorn closed 11 months ago
GitHub pushed a merge when asked to sync up the branch. I'd suggest squashing when merging. :-)
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 6378033331: | 0.0% |
Covered Lines: | 905 |
Relevant Lines: | 1141 |
LGTM, it just needs to be rebased to fix the CI errors.