Skip to content
certora

Update README.md #9

Sign in to view logs

Update README.md

Update README.md #9

Run time

Learn about OS pricing on GitHub Actions
Job Run time
verify (changeInContractBalanceShouldCauseAccrual.conf)
16m 15s
verify (erc4626-previewOPERATIONS.conf)
18m 41s
verify (fees_LEQ_ATokenBal.conf)
35m 56s
verify (lastVaultBalance_LEQ_ATokenBalThis.conf)
15m 15s
verify (positiveSupply_imply_positiveAssets-deposit.conf)
17m 16s
verify (positiveSupply_imply_positiveAssets-mint.conf)
17m 22s
verify (positiveSupply_imply_positiveAssets-other.conf)
17m 13s
verify (positiveSupply_imply_positiveAssets-redeem.conf)
32m 25s
verify (positiveSupply_imply_positiveAssets-withdraw.conf)
16m 51s
verify (rayMul_rayDiv_mulDiv_properties.conf)
9m 8s
verify (totalSupply_EQ_sumAllBal.conf)
21m 49s
verify (accrueYieldCheck.conf)
9m 1s
3h 47m 12s