ci

changed name of a type #639

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
cli-and-doc (4.14.x)	5m 13s
cli-and-doc (4.14.x, labltk)	5m 34s
python	4m 48s
lint-ocamlformat	2m 46s
webapp-windows	9m 17s
webapp-ubuntu	5m 0s
webapp-macos	9m 19s
cli-and-doc (4.13.x)	5m 24s
cli-and-doc (4.13.x, labltk)	5m 51s
webapp-playwright-test	0s
deploy	0s
	53m 12s