CI

chore: sync web dist from code-app #10044

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build	5m 59s
test-vscode-legacy	2m 26s
test-pi-tui	3m 54s
typecheck	2m 15s
test (1)	10m 3s
test (5)	9m 15s
test (4)	4m 4s
lint	5m 21s
test (3)	8m 31s
test (2)	4m 11s
test-windows	-1s
	55m 58s