certora

Update Transitive Dependencies #944

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
verify (execute)	2m 37s
verify (extensible)	6m 8s
verify (fallback)	2m 9s
verify (guards)	1m 38s
verify (hash)	3m 50s
verify (module)	8m 48s
verify (nativeTokenRefund)	2m 27s
verify (owner)	9m 58s
verify (safe)	2m 38s
verify (safeMigration)	1m 57s
verify (safeToL2Migration)	1m 58s
verify (safeToL2Setup)	1m 55s
verify (setup)	2m 48s
verify (signatures)	2m 6s
	50m 57s

⚡