certora

docs: fix natspec in simulateAndRevert #948

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
verify (execute)	6m 48s
verify (extensible)	8m 45s
verify (fallback)	6m 54s
verify (guards)	7m 44s
verify (hash)	6m 34s
verify (module)	7m 2s
verify (nativeTokenRefund)	6m 55s
verify (owner)	14m 20s
verify (safe)	7m 27s
verify (safeMigration)	6m 12s
verify (safeToL2Migration)	6m 3s
verify (safeToL2Setup)	4m 30s
verify (setup)	6m 43s
verify (signatures)	6m 34s
	1h 42m 31s

⚡