certora

Adding Code Owners (#905) #895

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
verify (execute)	2m 8s
verify (extensible)	6m 39s
verify (fallback)	1m 9s
verify (guards)	5m 4s
verify (hash)	4m 11s
verify (module)	6m 2s
verify (nativeTokenRefund)	2m 19s
verify (owner)	11m 50s
verify (safe)	4m 51s
verify (safeMigration)	57s
verify (safeToL2Migration)	55s
verify (safeToL2Setup)	3m 8s
verify (setup)	3m 40s
verify (signatures)	1m 5s
	53m 58s