certora updates #17
Merged
certora updates #17
Codecov / codecov/project
succeeded
Jun 27, 2024 in 0s
98.40% (+0.00%) compared to 7da1ba7
View this Pull Request on Codecov
98.40% (+0.00%) compared to 7da1ba7
Details
Codecov Report
All modified and coverable lines are covered by tests ✅
Project coverage is 98.40%. Comparing base (
7da1ba7) to head (ccb2ae4).
Additional details and impacted files
@@ Coverage Diff @@
## main #17 +/- ##
=======================================
Coverage 98.40% 98.40%
=======================================
Files 13 13
Lines 2191 2191
Branches 525 525
=======================================
Hits 2156 2156
Misses 34 34
Partials 1 1 ☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.
Loading