debug #682

Job	Run time
Analyse	5s
Test-macOS (4.14.1)	3m 4s
Build-macOS (4.14.1)	43s
Build-Linux (4.08.1)	3m 41s
Cygwin	5s
Build-Linux (4.09.1)	3m 46s
Hygiene	25s
Build-Linux (4.10.2)	3m 43s
Build-Linux (4.11.2)	3m 45s
Build-Linux (4.12.1)	3m 56s
Build-Linux (4.13.1)	3m 56s
Build-Linux (5.0.0)	3m 45s
Build-Linux (5.1.1)	3m 45s
Build-Linux (4.14.1)	3m 53s
Build-Windows (x86_64-pc-cygwin, x86_64-pc-cygwin, 4.14.1)	35m 33s
Build-Windows (i686-w64-mingw32, x86_64-pc-cygwin, 4.14.1)	42m 2s
Build-Windows (x86_64-w64-mingw32, x86_64-pc-cygwin, 4.14.1)	42m 1s
Build-Windows (i686-pc-windows, x86_64-pc-cygwin, 4.14.1)	47m 21s
Build-Windows (x86_64-pc-windows, x86_64-pc-cygwin, 4.14.1)	49m 53s
Upgrade-macOS	0s
Solvers-macOS	0s
Solvers-Linux	0s
Cold-Linux	0s
Test-Linux	0s
Upgrade-Linux	0s
	4h 15m 22s

Provide feedback