chore: add local `slither` script #249

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
changed-files	7s
deps	7s
set-matrix	3s
style	10s
compile	25s
slither (excubiae)	7s
slither (imt)	9s
slither (lazy-imt)	9s
slither (lazytower)	9s
slither (lean-imt)	9s
tests	1s
	1m 36s