main

chore: add local `slither` script (#34) #251

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
deps	11s
changed-files	6s
set-matrix	4s
style	11s
compile	21s
slither (excubiae)	1m 11s
slither (imt)	3m 24s
slither (lazy-imt)	3m 22s
slither (lazytower)	3m 24s
slither (lean-imt)	3m 20s
tests (excubiae)	26s
tests (imt)	1m 15s
tests (lazy-imt)	7m 43s
tests (lazytower)	24s
tests (lean-imt)	27s
	25m 49s