[Backport 2.x] fix(deps): update dependency org.dafny:dafnyruntime to v4.8.1 #903
Codecov / codecov/project
succeeded
Oct 7, 2024 in 1s
78.04% (+0.00%) compared to 22ee9ea
View this Pull Request on Codecov
78.04% (+0.00%) compared to 22ee9ea
Details
Codecov Report
All modified and coverable lines are covered by tests ✅
Project coverage is 78.04%. Comparing base (
22ee9ea) to head (f458a5e).
Additional details and impacted files
@@ Coverage Diff @@
## 2.x #903 +/- ##
=========================================
Coverage 78.04% 78.04%
Complexity 977 977
=========================================
Files 97 97
Lines 4554 4554
Branches 423 423
=========================================
Hits 3554 3554
Misses 823 823
Partials 177 177 ☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.
Loading