Skip to content
Certora

[Certora] Handle overflows #127

Sign in to view logs

[Certora] Handle overflows

[Certora] Handle overflows #127

Run time

Learn about OS pricing on GitHub Actions
Job Run time
verify (DelegationEthereum)
9m 49s
verify (DelegationOptimism)
10m 30s
verify (ERC20InvariantsEthereum)
2m 38s
verify (ERC20Ethereum)
7m 12s
verify (ERC20InvariantsOptimism)
5m 30s
verify (ERC20Optimism)
7m 3s
verify (ExternalCallsEthereum)
3m 58s
verify (ExternalCallsOptimism)
6m 20s
verify (MintBurnEthereum)
6m 44s
verify (MintBurnOptimism)
6m 33s
verify (RevertsERC20Ethereum)
5m 20s
verify (RevertsERC20Optimism)
5m 29s
verify (RevertsMintBurnEthereum)
3m 57s
verify (RevertsMintBurnOptimism)
5m 42s
1h 26m 45s