Skip to content
Certora

[Certora] Check Missing Reverts #100

Sign in to view logs

[Certora] Check Missing Reverts

[Certora] Check Missing Reverts #100

Run time

Learn about OS pricing on GitHub Actions
Job Run time
verify (DelegationEthereum)
8m 44s
verify (DelegationOptimism)
9m 3s
verify (ERC20InvariantsEthereum)
6m 45s
verify (ERC20Ethereum)
6m 19s
verify (ERC20InvariantsOptimism)
8m 12s
verify (ERC20Optimism)
7m 41s
verify (ExternalCallsEthereum)
6m 10s
verify (ExternalCallsOptimism)
5m 4s
verify (RevertsERC20Ethereum)
4m 4s
verify (RevertsERC20Optimism)
5m 38s
verify (RevertsMintBurnEthereum)
4m 47s
verify (RevertsMintBurnOptimism)
5m 47s
1h 18m 14s