CI

Add badges to README (lost during merge) #19

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
security	16s
lint	17s
test (3.11)	18s
test (3.13)	18s
test (3.10)	40s
test (3.12)	21s
typecheck	19s
build	13s
	2m 42s