Add `SemaphoreExcubia` contract extension #164

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
deps	10s
changed-files	4s
set-matrix	3s
style	11s
compile	12s
slither (excubiae)	1m 0s
slither (imt)	30s
slither (lazy-imt)	27s
slither (lazytower)	35s
slither (lean-imt)	34s
tests	0s
	3m 46s