CI

Fix badge link and update Downloads label in README #927

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build	3m 55s
typecheck	2m 19s
lint	1m 5s
test (5)	3m 25s
test-pi-tui	42s
test (3)	3m 3s
test (1)	3m 37s
test (4)	3m 19s
test (2)	4m 44s
test-windows	0s
test	3s
	26m 12s