Add Kontrol proofs for OptimismPortal #8634
Merged
Codecov / codecov/project
succeeded
Jan 16, 2024 in 1s
28.65% (+0.00%) compared to bf9a697
View this Pull Request on Codecov
28.65% (+0.00%) compared to bf9a697
Details
Codecov Report
All modified and coverable lines are covered by tests ✅
Comparison is base (
bf9a697) 28.65% compared to head (b6ff288) 28.65%.
Report is 1 commits behind head on develop.
Additional details and impacted files
@@ Coverage Diff @@
## develop #8634 +/- ##
========================================
Coverage 28.65% 28.65%
========================================
Files 166 166
Lines 7207 7207
Branches 1232 1232
========================================
Hits 2065 2065
Misses 5021 5021
Partials 121 121
Loading