Closed TennyZhuang closed 5 months ago
I forgot to add feature guard in yesterday's commit, and now it's fixed.
Can the PR got merged? Thanks @epage
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.
Changes Missing Coverage | Covered Lines | Changed/Added Lines | % | ||
---|---|---|---|---|---|
src/stream/mod.rs | 0 | 2 | 0.0% | ||
<!-- | Total: | 0 | 2 | 0.0% | --> |
Files with Coverage Reduction | New Missed Lines | % | ||
---|---|---|---|---|
src/error.rs | 1 | 23.61% | ||
src/parser.rs | 3 | 25.0% | ||
src/stream/mod.rs | 4 | 25.48% | ||
<!-- | Total: | 8 | --> |
Totals | |
---|---|
Change from base Build 8963659680: | 0.04% |
Covered Lines: | 1284 |
Relevant Lines: | 3080 |
Signed-off-by: TennyZhuang zty0826@gmail.com
Resolve #524