[Certora] Stay healthy liquidate #569

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
verify (AccrueInterest)	11m 42s
verify (AssetsAccounting)	5m 32s
verify (ConsistentState)	13m 54s
verify (ExactMath)	5m 57s
verify (ExchangeRate)	4m 10s
verify (Health)	13m 22s
verify (LibSummary)	4m 10s
verify (Liveness)	5m 2s
verify (Reentrancy)	6m 22s
verify (Reverts)	7m 44s
verify (Transfer)	3m 51s
	1h 21m 46s