Skip to content
Certora

[Certora] Verify mint and burn #110

Sign in to view logs

[Certora] Verify mint and burn

[Certora] Verify mint and burn #110

Run time

Learn about OS pricing on GitHub Actions
Job Run time
verify (DelegationEthereum)
10m 2s
verify (DelegationOptimism)
7m 34s
verify (ERC20InvariantsEthereum)
3m 27s
verify (ERC20Ethereum)
3m 6s
verify (ERC20InvariantsOptimism)
5m 6s
verify (ERC20Optimism)
6m 35s
verify (ExternalCallsEthereum)
2m 26s
verify (ExternalCallsOptimism)
3m 25s
verify (MintBurnEthereum)
4m 5s
verify (MintBurnOptimism)
3m 6s
verify (RevertsERC20Ethereum)
2m 47s
verify (RevertsERC20Optimism)
1m 23s
verify (RevertsMintBurnEthereum)
5m 7s
verify (RevertsMintBurnOptimism)
1m 5s
59m 14s