certora

Adding Code Owners #890

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
verify (execute)	2m 19s
verify (extensible)	3m 29s
verify (fallback)	1m 16s
verify (guards)	4m 31s
verify (hash)	1m 26s
verify (module)	4m 42s
verify (nativeTokenRefund)	2m 46s
verify (owner)	9m 28s
verify (safe)	5m 53s
verify (safeMigration)	2m 8s
verify (safeToL2Migration)	1m 5s
verify (safeToL2Setup)	1m 45s
verify (setup)	1m 16s
verify (signatures)	1m 35s
	43m 39s