[Certora] Stay healthy liquidate #560

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
verify (AccrueInterest)	6m 54s
verify (AssetsAccounting)	7m 21s
verify (ConsistentState)	26m 38s
verify (ExactMath)	7m 9s
verify (ExchangeRate)	9m 56s
verify (Health)	15m 15s
verify (LibSummary)	7m 39s
verify (Liveness)	9m 42s
verify (Reentrancy)	6m 28s
verify (Reverts)	6m 19s
verify (Transfer)	5m 57s
	1h 49m 18s