Certora

Add initial LockstakeEngine/Urn/Clipper logic + tests #40

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Certora (urn)	4m 35s
Certora (urn)	4m 35s
Certora (lsmkr)	6m 11s
Certora (lsmkr)	6m 11s
Certora (engine)	2h 30m 29s
Certora (engine)	19m 58s
Certora (engine-multicall)	11m 10s
Certora (engine-multicall)	11m 10s
Certora (clipper)	1h 5m 37s
Certora (clipper)	1h 5m 37s
	5h 45m 33s