ci

Use fake opam package pinned_libs.opam to pin libs for builds #239

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
js	7m 57s
install-ubuntu (4.13.x)	9m 38s
python	6m 27s
macos	11m 49s
install-ubuntu (4.13.x, labltk)	10m 12s
windows	11m 15s
install-ubuntu (4.14.x)	9m 4s
install-ubuntu (4.14.x, labltk)	9m 6s
deploy-js	37s
deploy-docs	55s
deploy-windows	34s
deploy-macos	28s
	1h 18m 2s