ci

Add VSCode extension for syntax coloring #478

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
python	8m 33s
lint-ocamlformat	7m 18s
cli-and-doc (4.13.x)	10m 8s
webapp-macos	19m 33s
cli-and-doc (4.13.x, labltk)	10m 20s
webapp-ubuntu	9m 28s
cli-and-doc (4.14.x)	10m 57s
webapp-windows	19m 10s
cli-and-doc (4.14.x, labltk)	10m 23s
webapp-playwright-test	19m 54s
deploy	0s
	2h 5m 44s