Add `SemaphoreExcubia` contract extension #144

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
changed-files	3s
deps	12s
set-matrix	3s
style	13s
compile	15s
slither (excubiae)	57s
slither (imt)	28s
slither (lazy-imt)	31s
slither (lazytower)	26s
slither (lean-imt)	26s
tests (excubiae)	18s
tests (imt)	10s
tests (lazy-imt)	10s
tests (lazytower)	8s
tests (lean-imt)	19s
coveralls	0s
	4m 39s