Merge pull request #6036 from rjbou/swhid-test #3921

Job	Run time
Analyse	3s
Build-Linux (4.08.1)	2m 10s
Build-Linux (4.09.1)	2m 3s
Cygwin	5s
Build-Linux (4.10.2)	2m 10s
Test-macOS (4.14.2)	27m 34s
Build-macOS (4.14.2)	2m 42s
Build-macOS (5.2.0)	3m 0s
Test-macOS (5.2.0)	24m 47s
Build-Linux (4.11.2)	1m 58s
Build-Linux (4.12.1)	2m 39s
Hygiene	39s
Build-Linux (4.13.1)	1m 54s
Build-Linux (5.0.0)	2m 3s
Build-Linux (5.1.1)	1m 52s
Build-Linux (4.14.2)	1m 49s
Build-Linux (5.2.0)	1m 58s
Build-Windows (x86_64-pc-cygwin, x86_64-pc-cygwin, 4.14.2)	33m 51s
Build-Windows (i686-w64-mingw32, x86_64-pc-cygwin, 4.14.2)	39m 48s
Build-Windows (x86_64-w64-mingw32, x86_64-pc-cygwin, 4.14.2)	42m 16s
Build-Windows (i686-pc-windows, x86_64-pc-cygwin, 4.14.2)	44m 37s
Build-Windows (x86_64-pc-windows, x86_64-pc-cygwin, 4.14.2)	50m 22s
Build-Windows (x86_64-w64-mingw32, x86_64-pc-cygwin, 5.2.0)	42m 4s
Cold-Linux	4m 39s
Test-Linux (4.14.2)	12m 28s
Doc-Linux (4.14.2)	54s
Test-Linux (5.2.0)	9m 1s
Doc-Linux (5.2.0)	1m 1s
Solvers-Linux (z3, 4.14.2)	56s
Upgrade-Linux (4.14.2)	1m 22s
Solvers-Linux (z3, 5.2.0)	50s
Upgrade-Linux (5.2.0)	1m 17s
Solvers-Linux (0install, 4.14.2)	1m 17s
Solvers-Linux (0install, 5.2.0)	1m 22s
Upgrade-macOS (4.14.2)	1m 52s
Solvers-macOS (z3, 4.14.2)	15m 32s
Upgrade-macOS (5.2.0)	1m 44s
Solvers-macOS (z3, 5.2.0)	18m 20s
Solvers-macOS (0install, 4.14.2)	1m 26s
Solvers-macOS (0install, 5.2.0)	1m 10s
	6h 47m 35s

Provide feedback