Back to pull request #696

[Certora] Quick refactor #591

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
verify (AccrueInterest)	4m 41s
verify (AssetsAccounting)	4m 20s
verify (ConsistentState)	8m 15s
verify (ExactMath)	6m 29s
verify (ExchangeRate)	4m 22s
verify (Health)	6m 14s
verify (LibSummary)	4m 28s
verify (Liveness)	4m 1s
verify (Reentrancy)	5m 5s
verify (Reverts)	4m 35s
verify (StayHealthy)	7m 59s
verify (Transfer)	5m 57s
	1h 6m 26s