search

jito-foundation / restaking

https://docs.restaking.jito.network/
Other
54 stars 5 forks source link

Certora: L-06 #113

Closed coachchucksol closed 1 week ago

coachchucksol commented 2 weeks ago

Small optimization in mint_to ix such that we don't call find_program_address unnecessarily

codecov[bot] commented 2 weeks ago

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Project coverage is 78.64%. Comparing base (ddcb69f) to head (73a9929). Report is 1 commits behind head on master.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## master #113 +/- ## ========================================== + Coverage 78.63% 78.64% +0.01% ========================================== Files 85 85 Lines 8434 8438 +4 ========================================== + Hits 6632 6636 +4 Misses 1802 1802 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.