tmp #634

Job	Run time
Analyse	3s
Build-Linux (4.08.1)	2m 0s
Build-Linux (4.09.1)	1m 58s
Build-macOS (4.14.1)	4m 38s
Build-Linux (4.10.2)	2m 2s
Test-macOS (4.14.1)	59m 55s
Cygwin	6s
Build-Linux (4.11.2)	1m 56s
Build-Linux (4.12.1)	1m 52s
Build-Linux (4.13.1)	1m 57s
Hygiene	27s
Build-Linux (5.0.0)	1m 56s
Build-Linux (5.1.0)	2m 9s
Build-Linux (4.14.1)	1m 51s
Build-Windows (x86_64-pc-cygwin, x86_64-pc-cygwin, 4.14.1)	9m 6s
Build-Windows (i686-w64-mingw32, x86_64-pc-cygwin, 4.14.1)	54m 49s
Build-Windows (x86_64-w64-mingw32, x86_64-pc-cygwin, 4.14.1)	51m 31s
Build-Windows (i686-pc-windows, x86_64-pc-cygwin, 4.14.1)	59m 14s
Build-Windows (x86_64-pc-windows, x86_64-pc-cygwin, 4.14.1)	56m 22s
Test-Linux (4.14.1)	18m 49s
Upgrade-Linux (4.14.1)	1m 10s
Cold-Linux	4m 59s
Solvers-Linux (z3, 4.14.1)	17m 50s
Solvers-Linux (0install, 4.14.1)	1m 14s
Upgrade-macOS (4.14.1)	2m 41s
Solvers-macOS (z3, 4.14.1)	21m 41s
Solvers-macOS (0install, 4.14.1)	2m 20s
	6h 24m 36s

Provide feedback