[Certora] Stay healthy liquidate #567

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
verify (AccrueInterest)	12m 21s
verify (AssetsAccounting)	5m 46s
verify (ConsistentState)	17m 36s
verify (ExactMath)	5m 11s
verify (ExchangeRate)	7m 15s
verify (Health)	14m 27s
verify (LibSummary)	4m 11s
verify (Liveness)	6m 5s
verify (Reentrancy)	6m 8s
verify (Reverts)	6m 46s
verify (Transfer)	4m 12s
	1h 29m 58s