main

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
changed-files	6s
deps	41s
set-matrix	2s
style	11s
compile	28s
slither	54s
tests (excubiae)	18s
tests (imt)	1m 25s
tests (lazy-imt)	19s
tests (lazytower)	11s
tests (lean-imt)	25s
	5m 0s