Merge main into feature/upgrade-gnatprove - #19
Closed
mgrojo wants to merge 64 commits into
Closed
Codecov / codecov/project
succeeded
Dec 28, 2025 in 1s
89.89% (+12.98%) compared to 3f1d939
View this Pull Request on Codecov
89.89% (+12.98%) compared to 3f1d939
Details
Codecov Report
✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 89.89%. Comparing base (3f1d939) to head (cb7eff1).
Additional details and impacted files
@@ Coverage Diff @@
## feature/upgrade-gnatprove #19 +/- ##
==============================================================
+ Coverage 76.90% 89.89% +12.98%
==============================================================
Files 46 52 +6
Lines 1559 1940 +381
==============================================================
+ Hits 1199 1744 +545
+ Misses 360 196 -164 ☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.
Loading