Repository navigation

CI

Add flags to curl #401

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint-and-format	9s
type-check (3.12)	13s
type-check (3.11)	19s
type-check (3.13)	14s
test (3.11)	50s
test (3.12)	1m 1s
test (3.13)	46s
	3m 32s