Debug #441

Job	Run time
Analyse	4s
Build-Linux (4.08.1)	2m 11s
Build-Linux (4.09.1)	2m 15s
Build-macOS (4.14.1)	4m 22s
Build-Linux (4.10.2)	2m 9s
Hygiene	28s
Cygwin	6s
Build-Linux (4.11.2)	2m 20s
Build-Linux (4.12.1)	2m 17s
Test-macOS (4.14.1)	55m 27s
Build-Linux (4.13.1)	2m 47s
Build-Linux (5.0.0)	2m 17s
Build-Linux (5.1.1)	5m 36s
Build-Linux (4.14.1)	2m 43s
Build-Windows (x86_64-pc-cygwin, x86_64-pc-cygwin, 4.14.1)	47m 16s
Build-Windows (i686-w64-mingw32, x86_64-pc-cygwin, 4.14.1)	54m 1s
Build-Windows (x86_64-w64-mingw32, x86_64-pc-cygwin, 4.14.1)	53m 7s
Build-Windows (i686-pc-windows, x86_64-pc-cygwin, 4.14.1)	1h 1m 19s
Build-Windows (x86_64-pc-windows, x86_64-pc-cygwin, 4.14.1)	58m 56s
Upgrade-macOS (4.14.1)	2m 30s
Solvers-macOS (z3, 4.14.1)	15m 30s
Solvers-macOS (0install, 4.14.1)	4m 44s
Solvers-Linux (z3, 4.14.1)	1m 20s
Solvers-Linux (0install, 4.14.1)	1m 14s
Cold-Linux	5m 22s
Upgrade-Linux (4.14.1)	1m 10s
Test-Linux (4.14.1)	14m 30s
	6h 46m 1s

Provide feedback