Codecov / codecov/project
succeeded
Dec 9, 2024 in 0s
95.08% (target 90.00%)
View this Pull Request on Codecov
95.08% (target 90.00%)
Details
Codecov Report
Attention: Patch coverage is 81.69014% with 13 lines in your changes missing coverage. Please review.
Project coverage is 95.08%. Comparing base (
0fefa6d) to head (19d1841).
| Files with missing lines | Patch % | Lines |
|---|---|---|
| src/models/ModelInterface.jl | 70.00% | 12 Missing |
| src/syntax/TheoryInterface.jl | 96.29% | 1 Missing |
Additional details and impacted files
@@ Coverage Diff @@
## not_implements #177 +/- ##
==================================================
- Coverage 95.52% 95.08% -0.44%
==================================================
Files 38 38
Lines 2256 2320 +64
==================================================
+ Hits 2155 2206 +51
- Misses 101 114 +13 ☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.
Loading