Certora

chore: remove bytecode hash from compilation #645

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
verify (AccrueInterest)	13m 43s
verify (AccrueInterest)	13m 43s
verify (AssetsAccounting)	7m 25s
verify (AssetsAccounting)	7m 25s
verify (ConsistentState)	17m 33s
verify (ConsistentState)	17m 33s
verify (ExactMath)	6m 56s
verify (ExactMath)	6m 56s
verify (ExchangeRate)	8m 17s
verify (ExchangeRate)	8m 17s
verify (Health)	8m 40s
verify (Health)	8m 40s
verify (LibSummary)	6m 59s
verify (LibSummary)	6m 59s
verify (Liveness)	7m 57s
verify (Liveness)	7m 57s
verify (Reentrancy)	8m 37s
verify (Reentrancy)	8m 37s
verify (Reverts)	9m 31s
verify (Reverts)	9m 31s
verify (StayHealthy)	14m 13s
verify (StayHealthy)	7m 26s
verify (Transfer)	6m 4s
verify (Transfer)	6m 4s
	3h 45m 3s