main

refactor(lean-imt): move from `hardhat` to `forge` #169

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
changed-files	8s
deps	8s
set-matrix	5s
style	10s
compile	20s
slither (excubiae)	29s
slither (imt)	1m 6s
slither (lazy-imt)	43s
slither (lazytower)	37s
slither (lean-imt)	54s
tests (excubiae)	17s
tests (imt)	1m 25s
tests (lazy-imt)	10s
tests (lazytower)	13s
tests (lean-imt)	24s
	7m 9s