CI

Merge branch 'debian1branch' #8

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build	18s
typecheck	16s
test (3)	20s
lint	14s
test (5)	15s
test (4)	22s
test-pi-tui	15s
test (2)	15s
test (1)	18s
test-windows	0s
	2m 33s