rm #1464

Job	Run time
Analyse	43s
Build-macOS (4.14.1)	14m 0s
Hygiene	29s
Cygwin	3m 7s
Build-Linux (4.08.1)	5m 34s
Build-Linux (4.09.1)	5m 27s
Test-macOS (4.14.1)	1h 11m 46s
Build-Linux (4.10.2)	5m 18s
Build-Linux (4.11.2)	5m 31s
Build-Linux (4.12.1)	5m 32s
Build-Linux (4.13.1)	6m 8s
Build-Linux (5.0.0)	5m 47s
Build-Linux (5.1.1)	5m 34s
Build-Linux (4.14.1)	5m 27s
Build-Windows (x86_64-pc-cygwin, x86_64-pc-cygwin, 4.14.1)	50m 43s
Build-Windows (i686-w64-mingw32, x86_64-pc-cygwin, 4.14.1)	55m 16s
Build-Windows (x86_64-w64-mingw32, x86_64-pc-cygwin, 4.14.1)	57m 9s
Build-Windows (i686-pc-windows, x86_64-pc-cygwin, 4.14.1)	57m 33s
Build-Windows (x86_64-pc-windows, x86_64-pc-cygwin, 4.14.1)	59m 47s
Solvers-Linux (z3, 4.14.1)	19m 27s
Solvers-Linux (0install, 4.14.1)	7m 55s
Cold-Linux	5m 31s
Test-Linux (4.14.1)	19m 48s
Upgrade-Linux (4.14.1)	1m 28s
Upgrade-macOS (4.14.1)	3m 20s
Solvers-macOS (z3, 4.14.1)	22m 18s
Solvers-macOS (0install, 4.14.1)	11m 54s
	8h 32m 32s

Provide feedback