run the programs in stwo_exclusive_programs in proof mode #1953
Codecov / codecov/project
succeeded
Feb 15, 2025 in 0s
96.39% (+0.00%) compared to 153d3a8
View this Pull Request on Codecov
96.39% (+0.00%) compared to 153d3a8
Details
Codecov Report
All modified and coverable lines are covered by tests ✅
Project coverage is 96.39%. Comparing base (
153d3a8) to head (c77de44).
Additional details and impacted files
@@ Coverage Diff @@
## main #1953 +/- ##
=======================================
Coverage 96.39% 96.39%
=======================================
Files 102 102
Lines 41483 41483
=======================================
Hits 39987 39987
Misses 1496 1496 ☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.
Loading