CI

Separate generated builds into a new data manager #3620

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
format	2m 14s
gen-file	2m 48s
lint	5m 56s
test	2m 55s
typecheck	1m 54s
	15m 47s