Skip to content
Certora

[Certora] Handle overflows #125

Sign in to view logs

[Certora] Handle overflows

[Certora] Handle overflows #125

Run time

Learn about OS pricing on GitHub Actions
Job Run time
verify (DelegationEthereum)
9m 53s
verify (DelegationOptimism)
10m 21s
verify (ERC20InvariantsEthereum)
5m 36s
verify (ERC20Ethereum)
6m 35s
verify (ERC20InvariantsOptimism)
7m 25s
verify (ERC20Optimism)
7m 18s
verify (ExternalCallsEthereum)
6m 45s
verify (ExternalCallsOptimism)
4m 19s
verify (MintBurnEthereum)
5m 21s
verify (MintBurnOptimism)
6m 33s
verify (RevertsERC20Ethereum)
4m 0s
verify (RevertsERC20Optimism)
6m 8s
verify (RevertsMintBurnEthereum)
4m 6s
verify (RevertsMintBurnOptimism)
3m 17s
1h 27m 37s