Add air_public_input flag to cairo1-run
#1539
Merged
Codecov / codecov/project
succeeded
Jan 8, 2024 in 0s
97.21% (+0.00%) compared to 07c112f
View this Pull Request on Codecov
97.21% (+0.00%) compared to 07c112f
Details
Codecov Report
Attention: 7 lines in your changes are missing coverage. Please review.
Comparison is base (
07c112f) 97.21% compared to head (efda66e) 97.21%.
Report is 4 commits behind head on cairo1-run-proof-arg.
❗ Current head efda66e differs from pull request most recent head b3bd50c. Consider uploading reports for the commit b3bd50c to get more accurate results
| Files | Patch % | Lines |
|---|---|---|
| cairo1-run/src/main.rs | 87.03% | 7 Missing |
Additional details and impacted files
@@ Coverage Diff @@
## cairo1-run-proof-arg #1539 +/- ##
=====================================================
Coverage 97.21% 97.21%
=====================================================
Files 90 90
Lines 36483 36524 +41
=====================================================
+ Hits 35467 35508 +41
Misses 1016 1016 ☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.
Loading