certora

Enhance documentation in TokenCallbackHandler with ERC-1820 registration details #854

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
verify (owner)	8m 10s
verify (safe)	4m 59s
verify (module)	5m 8s
verify (nativeTokenRefund)	1m 46s
verify (signatures)	2m 5s
verify (safeMigration)	5m 0s
verify (safeToL2Migration)	2m 37s
verify (safeToL2Setup)	5m 4s
	34m 49s