Opamroot redirect #460

Job	Run time
Analyse	4s
Test-macOS (4.14.1)	45m 58s
Build-macOS (4.14.1)	2m 21s
Build-Linux (4.08.1)	2m 10s
Build-Linux (4.09.1)	1m 49s
Hygiene	25s
Build-Linux (4.10.2)	1m 57s
Build-Linux (4.11.2)	3m 1s
Cygwin	5s
Build-Linux (4.12.1)	2m 9s
Build-Linux (4.13.1)	1m 57s
Build-Linux (5.0.0)	2m 39s
Build-Linux (5.1.1)	1m 58s
Build-Linux (4.14.1)	2m 16s
Build-Windows (x86_64-pc-cygwin, x86_64-pc-cygwin, 4.14.1)	40m 52s
Build-Windows (i686-w64-mingw32, x86_64-pc-cygwin, 4.14.1)	48m 28s
Build-Windows (x86_64-w64-mingw32, x86_64-pc-cygwin, 4.14.1)	47m 34s
Build-Windows (i686-pc-windows, x86_64-pc-cygwin, 4.14.1)	52m 24s
Build-Windows (x86_64-pc-windows, x86_64-pc-cygwin, 4.14.1)	51m 28s
Upgrade-macOS (4.14.1)	2m 15s
Solvers-macOS (z3, 4.14.1)	1m 18s
Solvers-macOS (0install, 4.14.1)	1m 17s
Test-Linux (4.14.1)	14m 31s
Solvers-Linux (z3, 4.14.1)	1m 10s
Solvers-Linux (0install, 4.14.1)	1m 39s
Cold-Linux	4m 49s
Upgrade-Linux (4.14.1)	1m 19s
	5h 37m 53s

Provide feedback