Skip to content
certora

Merge pull request #97 from aave/scripts/rust-building #21

Sign in to view logs

Merge pull request #97 from aave/scripts/rust-building

Merge pull request #97 from aave/scripts/rust-building #21

Run time

Learn about OS pricing on GitHub Actions
Job Run time
verify (changeInContractBalanceShouldCauseAccrual.conf)
10m 6s
verify (erc4626-previewOPERATIONS.conf)
7m 44s
verify (fees_LEQ_ATokenBal.conf)
18m 23s
verify (positiveSupply_imply_positiveAssets-deposit.conf)
7m 58s
verify (positiveSupply_imply_positiveAssets-redeem.conf)
7m 44s
verify (positiveSupply_imply_positiveAssets-other.conf)
9m 27s
verify (totalSupply_EQ_sumAllBal.conf)
13m 7s
verify (rayMul_rayDiv_mulDiv_properties.conf)
8m 13s
verify (lastVaultBalance_LEQ_ATokenBalThis.conf)
9m 14s
verify (positiveSupply_imply_positiveAssets-withdraw.conf)
7m 45s
verify (accrueYieldCheck.conf)
7m 4s
verify (positiveSupply_imply_positiveAssets-mint.conf)
7m 44s
1h 54m 29s