[Backport 2.x] fix(deps): update dependency org.dafny:dafnyruntime to v4.9.0 #951
Codecov / codecov/project
succeeded
Nov 7, 2024 in 1s
78.07% (+0.00%) compared to 22eaab0
View this Pull Request on Codecov
78.07% (+0.00%) compared to 22eaab0
Details
Codecov Report
All modified and coverable lines are covered by tests ✅
Project coverage is 78.07%. Comparing base (
22eaab0) to head (2519f92).
Additional details and impacted files
@@ Coverage Diff @@
## 2.x #951 +/- ##
=========================================
Coverage 78.07% 78.07%
Complexity 996 996
=========================================
Files 99 99
Lines 4625 4625
Branches 431 431
=========================================
Hits 3611 3611
Misses 834 834
Partials 180 180 ☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.
Loading