Skip to content
Certora

[Certora] Check Missing Reverts #102

Sign in to view logs

[Certora] Check Missing Reverts

[Certora] Check Missing Reverts #102

Run time

Learn about OS pricing on GitHub Actions
Job Run time
verify (DelegationEthereum)
7m 32s
verify (DelegationOptimism)
5m 27s
verify (ERC20InvariantsEthereum)
5m 48s
verify (ERC20Ethereum)
6m 6s
verify (ERC20InvariantsOptimism)
2m 46s
verify (ERC20Optimism)
5m 44s
verify (ExternalCallsEthereum)
3m 25s
verify (ExternalCallsOptimism)
5m 44s
verify (RevertsERC20Ethereum)
4m 48s
verify (RevertsERC20Optimism)
5m 28s
verify (RevertsMintBurnEthereum)
4m 44s
verify (RevertsMintBurnOptimism)
5m 8s
1h 2m 40s