Merge pull request #700 from morpho-org/colin@verif/add-morpho-harnes… #604

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
verify (AccrueInterest)	5m 4s
verify (AssetsAccounting)	4m 35s
verify (ConsistentState)	6m 34s
verify (ExactMath)	4m 26s
verify (ExchangeRate)	4m 36s
verify (Health)	5m 2s
verify (LibSummary)	4m 54s
verify (Liveness)	4m 37s
verify (Reentrancy)	5m 24s
verify (Reverts)	4m 54s
verify (StayHealthy)	4m 45s
verify (Transfer)	4m 33s
	59m 24s