CI

Merge branch 'main' into developer-deborah #42

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build	12s
test (3.13)	26s
typecheck	28s
test (3.10)	24s
test (3.12)	27s
test (3.11)	23s
lint	9s
test (3.9)	29s
dco	-1s
	2m 57s