match: extract discriminant
Codecov / codecov/project
succeeded
Feb 17, 2025 in 0s
83.71% (+0.04%) compared to 6417e2e
View this Pull Request on Codecov
83.71% (+0.04%) compared to 6417e2e
Details
Codecov Report
Attention: Patch coverage is 92.98246% with 4 lines in your changes missing coverage. Please review.
Project coverage is 83.71%. Comparing base (
6417e2e) to head (aefb0e9).
Report is 5 commits behind head on main.
| Files with missing lines | Patch % | Lines |
|---|---|---|
| base/src/main/java/org/aya/tyck/ExprTycker.java | 89.65% | 1 Missing and 2 partials |
| ...ax/src/main/java/org/aya/syntax/concrete/Expr.java | 75.00% | 1 Missing |
Additional details and impacted files
@@ Coverage Diff @@
## main #1328 +/- ##
============================================
+ Coverage 83.66% 83.71% +0.04%
- Complexity 4190 4202 +12
============================================
Files 377 377
Lines 12116 12134 +18
Branches 1428 1428
============================================
+ Hits 10137 10158 +21
+ Misses 1220 1218 -2
+ Partials 759 758 -1 ☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.
Loading