test: debug `coveralls` job #129

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
changed-files	3s
deps	11s
set-matrix	3s
compile	23s
style	15s
slither (excubiae)	16s
slither (imt)	17s
slither (lazy-imt)	18s
slither (lazytower)	2m 34s
slither (lean-imt)	29s
tests (excubiae)	8s
tests (imt)	9s
tests (lazy-imt)	9s
tests (lazytower)	22s
tests (lean-imt)	9s
coveralls	2s
	5m 48s