Skip to content
Certora

[Certora] Check Missing Reverts #101

Sign in to view logs

[Certora] Check Missing Reverts

[Certora] Check Missing Reverts #101

Run time

Learn about OS pricing on GitHub Actions
Job Run time
verify (DelegationEthereum)
8m 54s
verify (DelegationOptimism)
7m 27s
verify (ERC20InvariantsEthereum)
6m 7s
verify (ERC20Ethereum)
5m 44s
verify (ERC20InvariantsOptimism)
5m 48s
verify (ERC20Optimism)
5m 58s
verify (ExternalCallsEthereum)
5m 37s
verify (ExternalCallsOptimism)
5m 37s
verify (RevertsERC20Ethereum)
5m 36s
verify (RevertsERC20Optimism)
4m 57s
verify (RevertsMintBurnEthereum)
5m 18s
verify (RevertsMintBurnOptimism)
5m 15s
1h 12m 18s