debug #401

Job	Run time
Analyse	8s
Build-Linux (4.08.1)	57s
Cygwin	8s
Build-Linux (4.09.1)	40s
Build-macOS (4.14.1)	1m 21s
Build-Linux (4.10.2)	27s
Hygiene	19s
Build-Linux (4.11.2)	1s
Test-macOS (4.14.1)	4m 21s
Build-Linux (4.12.1)	40s
Build-Linux (4.13.1)	1s
Build-Linux (5.0.0)	1s
Build-Linux (5.1.0)	1s
Build-Linux (4.14.1)	1s
Build-Windows (x86_64-pc-cygwin, x86_64-pc-cygwin, 4.14.1)	10m 44s
Build-Windows (i686-w64-mingw32, x86_64-pc-cygwin, 4.14.1)	1m 17s
Build-Windows (x86_64-w64-mingw32, x86_64-pc-cygwin, 4.14.1)	6m 14s
Build-Windows (i686-pc-windows, x86_64-pc-cygwin, 4.14.1)	7m 42s
Build-Windows (x86_64-pc-windows, x86_64-pc-cygwin, 4.14.1)	11m 30s
Test-Linux	0s
Cold-Linux	0s
Solvers-Linux	0s
Upgrade-Linux	0s
Upgrade-macOS	0s
Solvers-macOS	0s
	46m 33s

Provide feedback