debug #400

Job	Run time
Analyse	8s
Cygwin	5s
Build-macOS (4.14.1)	5m 6s
Build-Linux (4.08.1)	2m 33s
Hygiene	17s
Build-Linux (4.09.1)	2m 38s
Test-macOS (4.14.1)	56m 14s
Build-Linux (4.10.2)	3m 39s
Build-Linux (4.11.2)	2m 48s
Build-Linux (4.12.1)	2m 55s
Build-Linux (4.13.1)	2m 39s
Build-Linux (5.0.0)	3m 12s
Build-Linux (5.1.0)	3m 3s
Build-Linux (4.14.1)	3m 37s
Build-Windows (x86_64-pc-cygwin, x86_64-pc-cygwin, 4.14.1)	1h 45m 53s
Build-Windows (i686-w64-mingw32, x86_64-pc-cygwin, 4.14.1)	1h 18m 15s
Build-Windows (x86_64-w64-mingw32, x86_64-pc-cygwin, 4.14.1)	52m 21s
Build-Windows (i686-pc-windows, x86_64-pc-cygwin, 4.14.1)	1h 19m 36s
Build-Windows (x86_64-pc-windows, x86_64-pc-cygwin, 4.14.1)	1h 17m 0s
Cold-Linux	6m 49s
Solvers-Linux (z3, 4.14.1)	1m 25s
Test-Linux (4.14.1)	13m 13s
Solvers-Linux (0install, 4.14.1)	2m 9s
Upgrade-Linux (4.14.1)	2m 36s
Solvers-macOS (z3, 4.14.1)	3m 39s
Solvers-macOS (0install, 4.14.1)	3m 3s
Upgrade-macOS (4.14.1)	3m 29s
	8h 38m 22s

Provide feedback