build

chore: fix status badge links #22

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint-and-format (3.13)	10s
unittests (3.10, lowest-direct)	51s
unittests (3.13, highest)	2m 25s
typecheck (3.13)	25s
	3m 51s