certora

Update Certora CLI Version #946

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
verify (execute)	6m 23s
verify (extensible)	9m 20s
verify (fallback)	7m 5s
verify (guards)	11m 53s
verify (hash)	5m 42s
verify (module)	7m 15s
verify (nativeTokenRefund)	4m 41s
verify (owner)	12m 22s
verify (safe)	7m 32s
verify (safeMigration)	4m 10s
verify (safeToL2Migration)	4m 22s
verify (safeToL2Setup)	4m 1s
verify (setup)	5m 2s
verify (signatures)	4m 43s
	1h 34m 31s

⚡