Closed kevinbarabash closed 1 year ago
Merging #683 (343b30e) into main (496348d) will decrease coverage by
0.01%
. The diff coverage is94.11%
.:exclamation: Current head 343b30e differs from pull request most recent head e4d5aae. Consider uploading reports for the commit e4d5aae to get more accurate results
@@ Coverage Diff @@
## main #683 +/- ##
==========================================
- Coverage 88.82% 88.82% -0.01%
==========================================
Files 109 109
Lines 24111 24126 +15
==========================================
+ Hits 21417 21430 +13
- Misses 2694 2696 +2
Files Changed | Coverage Δ | |
---|---|---|
crates/escalier_hm/src/unify.rs | 82.73% <94.11%> (+0.21%) |
:arrow_up: |
This finishes the work to close #653.