search

logos-co / staking

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

chore(StakeVault.spec): add rule to verify account and vault balance #56

Closed 0x-r4bbit closed 6 months ago

0x-r4bbit commented 6 months ago

Checklist

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

0x-r4bbit commented 6 months ago

This did not trigger all CI jobs. I believe this is because I had to change the base branch of this PR. I triggered CI manually. Here's the job (it's green): https://github.com/logos-co/staking/actions/runs/8193056837/job/22405953219

Going to merge this.