main

Remove unused return value from `_check()` method #170

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
deps	29s
changed-files	5s
set-matrix	2s
style	12s
compile	19s
slither (excubiae)	1m 1s
slither (imt)	31s
slither (lazy-imt)	33s
slither (lazytower)	33s
slither (lean-imt)	32s
tests (excubiae)	26s
tests (imt)	9s
tests (lazy-imt)	8s
tests (lazytower)	9s
tests (lean-imt)	12s
	5m 21s