CI

feat: add Expert Talk and refine workspace Explorer #1090

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint	1m 4s
test (3)	3m 44s
test (5)	3m 45s
build	3m 55s
test (2)	5m 3s
test (1)	3m 46s
test (4)	3m 23s
test-pi-tui	44s
typecheck	2m 40s
test-windows	0s
test	2s
	28m 6s