Skip to content

for PR

for PR #41

verify (verifyStataToken.conf --rule getClaimableRewards_stable_after_deposit)

succeeded Nov 18, 2024 in 2m 16s
Set up job
1s
Run actions/checkout@v4
11s
Install python
0s
Install java
2s
Install certora cli
3s
Install solc
0s
Verify rule verifyStataToken.conf --rule getClaimableRewards_stable_after_deposit
1m 56s
Post Install java
0s
Post Install python
0s
Post Run actions/checkout@v4
0s
Complete job
0s