Repository navigation

chore(ci): ignore benchmark and working-note scratch dirs #3586

Job	Run time
build	13s
test (2/4)	39s
test (3/4)	40s
static-analysis	56s
test (4/4)	33s
test (1/4)	39s
test (one-process pollution detector)	-1s
test (src)	3s
build-and-test	2s
typecheck	2s
eslint	3s
prettier	3s
	3m 52s