Certora

Merge pull request #707 from morpho-org/fix/license-warning #629

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
verify (AccrueInterest)	12m 28s
verify (AssetsAccounting)	6m 24s
verify (ConsistentState)	7m 16s
verify (ExactMath)	6m 53s
verify (ExchangeRate)	6m 55s
verify (Health)	6m 31s
verify (LibSummary)	6m 22s
verify (Liveness)	5m 30s
verify (Reentrancy)	5m 50s
verify (Reverts)	8m 33s
verify (StayHealthy)	5m 51s
verify (Transfer)	5m 31s
	1h 24m 4s