Contracts Tests

Upstream Certora Specifications (fixed build) #1226

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Console imports check	17s
Foundry "E2E" tests	2m 5s
Coverage	14m 34s
Foundry tests	7m 27s
Hardhat tests	0s
	24m 23s