main

Merge pull request #17 from privacy-scaling-explorations/refactor/design #138

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
changed-files	7s
changed-files	7s
deps	8s
deps	8s
style	12s
style	12s
set-matrix	2s
set-matrix	2s
compile	22s
compile	22s
slither (excubiae)	51s
slither (excubiae)	51s
slither (imt)	23s
slither (imt)	23s
slither (lazy-imt)	23s
slither (lazy-imt)	23s
slither (lazytower)	26s
slither (lazytower)	26s
slither (lean-imt)	16s
slither (lean-imt)	16s
tests (excubiae)	12s
tests (excubiae)	12s
tests (imt)	7s
tests (imt)	7s
tests (lazy-imt)	9s
tests (lazy-imt)	9s
tests (lazytower)	9s
tests (lazytower)	9s
tests (lean-imt)	9s
tests (lean-imt)	9s
coveralls	2s
coveralls	3s
	7m 57s