fix miri test #25
Closed
fix miri test #25
Codecov / codecov/project
succeeded
Jul 2, 2024 in 0s
78.78% (+0.57%) compared to db0d4de
View this Pull Request on Codecov
78.78% (+0.57%) compared to db0d4de
Details
Codecov Report
All modified and coverable lines are covered by tests ✅
Project coverage is 78.78%. Comparing base (
db0d4de) to head (586cb38).
Additional details and impacted files
@@ Coverage Diff @@
## main #25 +/- ##
==========================================
+ Coverage 78.20% 78.78% +0.57%
==========================================
Files 9 9
Lines 2712 2710 -2
==========================================
+ Hits 2121 2135 +14
+ Misses 591 575 -16 | Files | Coverage Δ | |
|---|---|---|
| src/map.rs | 67.15% <100.00%> (+1.60%) |
⬆️ |
Continue to review full report in Codecov by Sentry.
Legend - Click here to learn more
Δ = absolute <relative> (impact),ø = not affected,? = missing data
Powered by Codecov. Last update db0d4de...586cb38. Read the comment docs.
Loading