Skip to content
Certora

[Certora] Handle overflows #124

Sign in to view logs

[Certora] Handle overflows

[Certora] Handle overflows #124

Run time

Learn about OS pricing on GitHub Actions
Job Run time
verify (DelegationEthereum)
11m 4s
verify (DelegationOptimism)
10m 40s
verify (ERC20InvariantsEthereum)
7m 18s
verify (ERC20Ethereum)
7m 27s
verify (ERC20InvariantsOptimism)
7m 46s
verify (ERC20Optimism)
7m 24s
verify (ExternalCallsEthereum)
6m 38s
verify (ExternalCallsOptimism)
6m 39s
verify (MintBurnEthereum)
7m 15s
verify (MintBurnOptimism)
7m 43s
verify (RevertsERC20Ethereum)
6m 3s
verify (RevertsERC20Optimism)
6m 2s
verify (RevertsMintBurnEthereum)
5m 52s
verify (RevertsMintBurnOptimism)
6m 2s
1h 43m 53s