Merge pull request #6373 from AltGr/noupgall #4062

Job	Run time
Analyse	4s
Cygwin	4s
Hygiene	45s
Build-macOS (4.14.2)	4m 18s
Build-Linux (4.08.1)	2m 23s
Build-macOS (5.3.0)	3m 28s
Test-macOS (4.14.2)	29m 51s
Build-Linux (4.09.1)	2m 29s
Test-macOS (5.3.0)	27m 1s
Build-Linux (4.10.2)	2m 34s
Build-Linux (4.11.2)	2m 26s
Build-Linux (4.12.1)	2m 45s
Build-Linux (4.13.1)	2m 29s
Build-Linux (5.0.0)	2m 31s
Build-Linux (5.1.1)	2m 16s
Build-Linux (5.2.1)	2m 21s
Build-Linux (4.14.2)	2m 22s
Build-Linux (5.3.0)	2m 28s
Build-Windows (x86_64-pc-cygwin, x86_64-pc-cygwin, 4.14.2)	34m 34s
Build-Windows (i686-w64-mingw32, x86_64-pc-cygwin, 4.14.2)	40m 6s
Build-Windows (x86_64-w64-mingw32, x86_64-pc-cygwin, 4.14.2)	41m 44s
Build-Windows (i686-pc-windows, x86_64-pc-cygwin, 4.14.2)	46m 10s
Build-Windows (x86_64-pc-windows, x86_64-pc-cygwin, 4.14.2)	46m 40s
Build-Windows (x86_64-w64-mingw32, x86_64-pc-cygwin, 5.3.0)	42m 28s
Build-Windows (x86_64-pc-windows, x86_64-pc-cygwin, 5.3.0)	40m 59s
Doc-Linux (4.14.2)	1m 8s
Test-Linux (4.14.2)	11m 32s
Doc-Linux (5.3.0)	2m 3s
Test-Linux (5.3.0)	9m 42s
Cold-Linux	5m 10s
Upgrade-Linux (4.14.2)	1m 18s
Solvers-Linux (z3, 4.14.2)	58s
Upgrade-Linux (5.3.0)	1m 18s
Solvers-Linux (z3, 5.3.0)	1m 4s
Solvers-Linux (0install, 4.14.2)	1m 23s
Solvers-Linux (0install, 5.3.0)	1m 24s
Upgrade-macOS (4.14.2)	2m 6s
Solvers-macOS (z3, 4.14.2)	1m 11s
Upgrade-macOS (5.3.0)	2m 27s
Solvers-macOS (z3, 5.3.0)	1m 37s
Solvers-macOS (0install, 4.14.2)	1m 36s
Solvers-macOS (0install, 5.3.0)	1m 33s
	7h 12m 46s

Provide feedback