Skip to content
Certora

[Certora] Check Missing Reverts #104

Sign in to view logs

[Certora] Check Missing Reverts

[Certora] Check Missing Reverts #104

Run time

Learn about OS pricing on GitHub Actions
Job Run time
verify (DelegationEthereum)
9m 57s
verify (DelegationOptimism)
9m 47s
verify (ERC20InvariantsEthereum)
7m 32s
verify (ERC20Ethereum)
7m 10s
verify (ERC20InvariantsOptimism)
7m 32s
verify (ERC20Optimism)
7m 11s
verify (ExternalCallsEthereum)
6m 15s
verify (ExternalCallsOptimism)
7m 36s
verify (RevertsERC20Ethereum)
6m 7s
verify (RevertsERC20Optimism)
6m 59s
verify (RevertsMintBurnEthereum)
6m 17s
verify (RevertsMintBurnOptimism)
6m 40s
1h 29m 3s