tmp #633

Job	Run time
Analyse	37s
Build-macOS (4.14.1)	10m 55s
Hygiene	25s
Cygwin	2m 10s
Build-Linux (4.08.1)	4m 53s
Test-macOS (4.14.1)	1h 6m 3s
Build-Linux (4.09.1)	5m 6s
Build-Linux (4.10.2)	4m 52s
Build-Linux (4.11.2)	5m 14s
Build-Linux (4.12.1)	4m 58s
Build-Linux (4.13.1)	4m 50s
Build-Linux (5.0.0)	5m 16s
Build-Linux (5.1.0)	5m 50s
Build-Linux (4.14.1)	5m 5s
Build-Windows (x86_64-pc-cygwin, x86_64-pc-cygwin, 4.14.1)	9m 16s
Build-Windows (i686-w64-mingw32, x86_64-pc-cygwin, 4.14.1)	53m 3s
Build-Windows (x86_64-w64-mingw32, x86_64-pc-cygwin, 4.14.1)	53m 21s
Build-Windows (i686-pc-windows, x86_64-pc-cygwin, 4.14.1)	8m 10s
Build-Windows (x86_64-pc-windows, x86_64-pc-cygwin, 4.14.1)	8m 35s
Upgrade-Linux (4.14.1)	1m 19s
Cold-Linux	5m 6s
Test-Linux (4.14.1)	20m 18s
Solvers-Linux (z3, 4.14.1)	18m 41s
Solvers-Linux (0install, 4.14.1)	7m 25s
Upgrade-macOS (4.14.1)	3m 8s
Solvers-macOS (z3, 4.14.1)	18m 28s
Solvers-macOS (0install, 4.14.1)	15m 36s
	5h 48m 40s

Provide feedback