Certora

Merge pull request #723 from morpho-org/certora/remove-gambit #694

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
verify (AccrueInterest)	11m 33s
verify (AssetsAccounting)	7m 10s
verify (ConsistentState)	17m 4s
verify (ExactMath)	6m 57s
verify (ExchangeRate)	9m 18s
verify (Health)	9m 7s
verify (LibSummary)	6m 23s
verify (Liveness)	7m 29s
verify (Reentrancy)	5m 55s
verify (Reverts)	8m 47s
verify (StayHealthy)	8m 59s
verify (Transfer)	4m 33s
	1h 43m 15s