Certora

[Certora] Via IR #204

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
verify (AccrueInterest)	2m 8s
verify (AccrueInterest)	2h 0m 43s
verify (ConsistentState)	5m 51s
verify (ConsistentState)	5m 10s
verify (ExactMath)	2m 4s
verify (ExactMath)	27m 49s
verify (ExitLiquidity)	11m 5s
verify (ExitLiquidity)	9m 7s
verify (Health)	4m 44s
verify (Health)	58m 39s
verify (LibSummary)	2m 25s
verify (LibSummary)	5m 26s
verify (Liveness)	5m 30s
verify (Liveness)	5m 27s
verify (RatioMath)	3m 47s
verify (RatioMath)	11m 49s
verify (Reentrancy)	23m 48s
verify (Reentrancy)	18m 55s
verify (Reverts)	5m 59s
verify (Reverts)	2m 49s
verify (Transfer)	4m 23s
verify (Transfer)	1m 24s
	5h 39m 2s