debug #404

Job	Run time
Analyse	5s
Test-macOS (4.14.1)	1h 11m 24s
Build-macOS (4.14.1)	6m 22s
Build-Linux (4.08.1)	2m 20s
Cygwin	6s
Build-Linux (4.09.1)	3m 5s
Hygiene	27s
Build-Linux (4.10.2)	3m 19s
Build-Linux (4.11.2)	4m 15s
Build-Linux (4.12.1)	2m 45s
Build-Linux (4.13.1)	4m 45s
Build-Linux (5.0.0)	3m 41s
Build-Linux (5.1.0)	4m 45s
Build-Linux (4.14.1)	4m 58s
Build-Windows (x86_64-pc-cygwin, x86_64-pc-cygwin, 4.14.1)	48m 14s
Build-Windows (i686-w64-mingw32, x86_64-pc-cygwin, 4.14.1)	49m 26s
Build-Windows (x86_64-w64-mingw32, x86_64-pc-cygwin, 4.14.1)	1h 41m 14s
Build-Windows (i686-pc-windows, x86_64-pc-cygwin, 4.14.1)	1h 54m 15s
Build-Windows (x86_64-pc-windows, x86_64-pc-cygwin, 4.14.1)	53m 18s
Cold-Linux	8m 46s
Solvers-Linux (z3, 4.14.1)	1m 12s
Upgrade-Linux (4.14.1)	1m 57s
Solvers-Linux (0install, 4.14.1)	1m 16s
Test-Linux (4.14.1)	23m 44s
Upgrade-macOS (4.14.1)	3m 45s
Solvers-macOS (z3, 4.14.1)	2m 41s
Solvers-macOS (0install, 4.14.1)	2m 26s
	8h 44m 31s

Provide feedback