CI

chore: sync web dist from code-app (#3333) #9394

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build	1m 50s
test-vscode-legacy	55s
test (2)	3m 56s
test (4)	4m 10s
lint	1m 3s
typecheck	2m 17s
test-pi-tui	41s
test (3)	3m 20s
test (5)	3m 18s
test (1)	3m 56s
test-windows	-1s
	25m 25s