[Certora] Stay healthy liquidate #584

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
verify (AccrueInterest)	11m 57s
verify (AssetsAccounting)	6m 35s
verify (ConsistentState)	13m 19s
verify (ExactMath)	6m 41s
verify (ExchangeRate)	8m 43s
verify (Health)	8m 4s
verify (LibSummary)	5m 19s
verify (Liveness)	4m 38s
verify (Reentrancy)	7m 44s
verify (Reverts)	8m 42s
verify (StayHealthy)	1h 8m 8s
verify (Transfer)	5m 22s
	2h 35m 12s