Back to pull request #564

[Certora] Mutations #282

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
verify (AccrueInterest)	29m 37s
verify (ConsistentState)	11m 49s
verify (ExactMath)	8m 57s
verify (ExitLiquidity)	5m 34s
verify (Health)	3m 51s
verify (LibSummary)	3m 8s
verify (Liveness)	1m 18s
verify (RatioMath)	6m 45s
verify (Reentrancy)	2m 6s
verify (Reverts)	6m 54s
verify (Transfer)	3m 31s
	1h 23m 30s