debug #394

Job	Run time
Analyse	53s
Cygwin	3m 4s
Build-macOS (4.14.1)	10m 52s
Build-Linux (4.08.1)	6m 45s
Test-macOS (4.14.1)	1h 6m 34s
Build-Linux (4.09.1)	8m 18s
Build-Linux (4.10.2)	6m 51s
Hygiene	36s
Build-Linux (4.11.2)	6m 49s
Build-Linux (4.12.1)	8m 36s
Build-Linux (4.13.1)	7m 54s
Build-Linux (5.0.0)	7m 49s
Build-Linux (5.1.0)	7m 41s
Build-Linux (4.14.1)	6m 59s
Build-Windows (x86_64-pc-cygwin, x86_64-pc-cygwin, 4.14.1)	1h 38m 45s
Build-Windows (i686-w64-mingw32, x86_64-pc-cygwin, 4.14.1)	8m 44s
Build-Windows (x86_64-w64-mingw32, x86_64-pc-cygwin, 4.14.1)	9m 12s
Build-Windows (i686-pc-windows, x86_64-pc-cygwin, 4.14.1)	6m 54s
Build-Windows (x86_64-pc-windows, x86_64-pc-cygwin, 4.14.1)	9m 31s
Upgrade-Linux (4.14.1)	2m 30s
Solvers-Linux (z3, 4.14.1)	51m 15s
Cold-Linux	8m 29s
Test-Linux (4.14.1)	34m 50s
Solvers-Linux (0install, 4.14.1)	12m 2s
Upgrade-macOS (4.14.1)	3m 45s
Solvers-macOS (z3, 4.14.1)	17m 20s
Solvers-macOS (0install, 4.14.1)	9m 38s
	7h 2m 36s

Provide feedback