CI

docs: update README download badges (#229) #924

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
typecheck	2m 18s
test (1)	3m 46s
test (3)	3m 27s
test (5)	2m 58s
test (2)	4m 41s
build	3m 24s
test (4)	3m 25s
test-pi-tui	36s
lint	1m 1s
test-windows	0s
test	2s
	25m 38s