Skip to content
certora

[Certora Audit] G-03. ERC165Handler.setSupportedInterface(): Logic and storage access optimization #839

Sign in to view logs

[Certora Audit] G-03. ERC165Handler.setSupportedInterface(): Logic and storage access optimization

[Certora Audit] G-03. ERC165Handler.setSupportedInterface(): Logic and storage access optimization #839

Run time

Learn about OS pricing on GitHub Actions
Job Run time
verify (owner)
8m 53s
verify (safe)
9m 28s
verify (module)
3m 59s
verify (nativeTokenRefund)
1m 46s
verify (signatures)
3m 17s
verify (safeMigration)
2m 27s
verify (safeToL2Migration)
1m 23s
verify (safeToL2Setup)
1m 53s
33m 6s