CI

🏗️ Split CI into lint/typecheck/test/build and type-clean src/devol #9

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build	56s
lint	47s
typecheck	51s
test (3.12)	58s
test (3.13)	58s
test (3.11)	59s
	5m 29s