Debug #439

Job	Run time
Analyse	37s
Test-macOS (4.14.1)	1h 0m 9s
Build-Linux (4.08.1)	5m 42s
Cygwin	3s
Build-Linux (4.09.1)	5m 26s
Build-macOS (4.14.1)	14m 57s
Hygiene	22s
Build-Linux (4.10.2)	5m 34s
Build-Linux (4.11.2)	5m 39s
Build-Linux (4.12.1)	5m 30s
Build-Linux (4.13.1)	5m 31s
Build-Linux (5.0.0)	6m 9s
Build-Linux (5.1.0)	6m 6s
Build-Linux (4.14.1)	5m 45s
Build-Windows (x86_64-pc-cygwin, x86_64-pc-cygwin, 4.14.1)	48m 3s
Build-Windows (i686-w64-mingw32, x86_64-pc-cygwin, 4.14.1)	58m 42s
Build-Windows (x86_64-w64-mingw32, x86_64-pc-cygwin, 4.14.1)	1h 2m 17s
Build-Windows (i686-pc-windows, x86_64-pc-cygwin, 4.14.1)	58m 10s
Build-Windows (x86_64-pc-windows, x86_64-pc-cygwin, 4.14.1)	1h 3m 18s
Test-Linux (4.14.1)	15m 5s
Solvers-Linux (z3, 4.14.1)	52s
Solvers-Linux (0install, 4.14.1)	1m 15s
Upgrade-Linux (4.14.1)	1m 1s
Cold-Linux	3m 17s
Upgrade-macOS (4.14.1)	2m 37s
Solvers-macOS (z3, 4.14.1)	13m 54s
Solvers-macOS (0install, 4.14.1)	5m 33s
	7h 41m 34s

Provide feedback