CI

docs: update README download badges #923

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint	1m 15s
test (3)	3m 27s
test (5)	3m 25s
typecheck	2m 37s
test (4)	3m 22s
test (1)	3m 55s
test (2)	4m 21s
test-pi-tui	42s
build	3m 42s
test-windows	0s
test	3s
	26m 49s