CI

Split CI into lint/typecheck/test/build jobs and clean up for strict … #10

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
typecheck	49s
test (3.13)	56s
test (3.12)	58s
test (3.11)	59s
lint	52s
build	47s
	5m 21s