CI

chore: update ci-deep to have default input values when runnjng in cron #42

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build	22s
lint	7s
test-fuzz	23s
test-invariant	38s
slither-analyze	1m 31s
coverage	44s
test-unit	22s
	4m 7s