+num-windows.1.5 #439

Job	Run time
build_details	4s
cancel_previous_run	2s
build_package (num-windows.1.5, x64, 4.14.1)	3m 14s
build_package (num-windows.1.5, x64, 5.1.1)	3m 11s
collect_revdeps	10s
build_revdeps (batteries-windows, x64, 4.14.1)	1m 45s
build_revdeps (batteries-windows, x64, 5.1.1)	1m 47s
build_revdeps (core_kernel-windows, x64, 4.14.1)	8m 13s
build_revdeps (core_kernel-windows, x64, 5.1.1)	1m 51s
build_revdeps (mustache-windows, x64, 4.14.1)	1m 52s
build_revdeps (mustache-windows, x64, 5.1.1)	1m 48s
build_revdeps (core-windows, x64, 4.14.1)	7m 44s
build_revdeps (core-windows, x64, 5.1.1)	1m 51s
build_revdeps (ezjsonm-windows, x64, 4.14.1)	1m 52s
build_revdeps (ezjsonm-windows, x64, 5.1.1)	1m 55s
build_revdeps (base_bigstring-windows, x64, 4.14.1)	6m 5s
build_revdeps (base_bigstring-windows, x64, 5.1.1)	1m 49s
build_revdeps (int_repr-windows, x64, 4.14.1)	6m 8s
build_revdeps (int_repr-windows, x64, 5.1.1)	1m 47s
build_revdeps (ppx_jane-windows, x64, 4.14.1)	6m 3s
build_revdeps (ppx_jane-windows, x64, 5.1.1)	1m 56s
build_revdeps (ppx_log-windows, x64, 4.14.1)	4m 42s
build_revdeps (ppx_log-windows, x64, 5.1.1)	1m 49s
build_revdeps (sexplib-windows, x64, 4.14.1)	2m 36s
build_revdeps (sexplib-windows, x64, 5.1.1)	2m 34s
	1h 12m 48s

Provide feedback