search

logos-co / staking

SNT Staking contracts
Creative Commons Zero v1.0 Universal
0 stars 4 forks source link

refactor(certora): use CI matrix for verification jobs #90

Closed 0x-r4bbit closed 5 months ago

0x-r4bbit commented 5 months ago

Checklist

Ensure you completed all of the steps below before submitting your pull request: