Workflow fixes #2492

Job	Run time
Analyse	9s
Cygwin	5s
Build-macOS (4.14.1)	6m 19s
Build-Linux (4.08.1)	1m 55s
Hygiene	39s
Build-Linux (4.09.1)	1m 57s
Test-macOS (4.14.1)	1h 12m 43s
Build-Linux (4.10.2)	3m 15s
Build-Linux (4.11.2)	1m 47s
Build-Linux (4.12.1)	1m 50s
Build-Linux (4.13.1)	1m 56s
Build-Linux (5.0.0)	2m 15s
Build-Linux (5.1.0)	1m 57s
Build-Linux (4.14.1)	2m 2s
Build-Windows (x86_64-pc-cygwin, x86_64-pc-cygwin, 4.14.1)	40m 46s
Build-Windows (i686-w64-mingw32, x86_64-pc-cygwin, 4.14.1)	45m 53s
Build-Windows (x86_64-w64-mingw32, x86_64-pc-cygwin, 4.14.1)	48m 44s
Build-Windows (i686-pc-windows, x86_64-pc-cygwin, 4.14.1)	53m 43s
Build-Windows (x86_64-pc-windows, x86_64-pc-cygwin, 4.14.1)	51m 3s
Test-Linux (4.14.1)	17m 53s
Cold-Linux	4m 54s
Upgrade-Linux (4.14.1)	1m 31s
Solvers-Linux (z3, 4.14.1)	17m 57s
Solvers-Linux (0install, 4.14.1)	7m 4s
Upgrade-macOS (4.14.1)	3m 19s
Solvers-macOS (z3, 4.14.1)	22m 59s
Solvers-macOS (0install, 4.14.1)	12m 7s
	7h 6m 42s

Provide feedback