Repository navigation

CI

feat: add Expert Talk and refine workspace Explorer #1066

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint	1m 5s
test (1)	4m 17s
build	3m 55s
test (2)	4m 53s
test (5)	3m 38s
test (4)	3m 40s
test (3)	3m 9s
test-pi-tui	39s
typecheck	2m 35s
test-windows	-1s
test	2s
	27m 52s