[Certora] Stay healthy liquidate #564

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
verify (AccrueInterest)	9m 11s
verify (AssetsAccounting)	2m 25s
verify (ConsistentState)	11m 4s
verify (ExactMath)	2m 15s
verify (ExchangeRate)	1m 51s
verify (Health)	7m 20s
verify (LibSummary)	1m 48s
verify (Liveness)	3m 41s
verify (Reentrancy)	3m 51s
verify (Reverts)	6m 8s
verify (Transfer)	53s
	50m 27s