certora

Update NodeJS Version #945

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
verify (execute)	3m 31s
verify (extensible)	2m 53s
verify (fallback)	3m 29s
verify (guards)	3m 19s
verify (hash)	1m 56s
verify (module)	2m 59s
verify (nativeTokenRefund)	2m 18s
verify (owner)	12m 33s
verify (safe)	5m 10s
verify (safeMigration)	2m 28s
verify (safeToL2Migration)	1m 59s
verify (safeToL2Setup)	55s
verify (setup)	3m 19s
verify (signatures)	57s
	47m 46s

⚡