Debug GHA #412

Job	Run time
Analyse	5s
Build-macOS (4.14.1)	3m 27s
Cygwin	5s
Hygiene	23s
Build-Linux (4.08.1)	1m 43s
Build-Linux (4.09.1)	1m 50s
Test-macOS (4.14.1)	1h 10m 23s
Build-Linux (4.10.2)	3m 16s
Build-Linux (4.11.2)	3m 14s
Build-Linux (4.12.1)	2m 49s
Build-Linux (4.13.1)	2m 44s
Build-Linux (5.0.0)	2m 8s
Build-Linux (5.1.0)	3m 30s
Build-Linux (4.14.1)	2m 46s
Build-Windows (x86_64-pc-cygwin, x86_64-pc-cygwin, 4.14.1)	39m 34s
Build-Windows (i686-w64-mingw32, x86_64-pc-cygwin, 4.14.1)	1h 12m 31s
Build-Windows (x86_64-w64-mingw32, x86_64-pc-cygwin, 4.14.1)	1h 27m 48s
Build-Windows (i686-pc-windows, x86_64-pc-cygwin, 4.14.1)	1h 14m 20s
Build-Windows (x86_64-pc-windows, x86_64-pc-cygwin, 4.14.1)	49m 15s
Upgrade-macOS (4.14.1)	2m 38s
Solvers-macOS (z3, 4.14.1)	3m 28s
Solvers-macOS (0install, 4.14.1)	3m 33s
Upgrade-Linux (4.14.1)	1m 0s
Solvers-Linux (z3, 4.14.1)	1m 10s
Solvers-Linux (0install, 4.14.1)	1m 37s
Cold-Linux	8m 31s
Test-Linux (4.14.1)	20m 16s
	7h 44m 4s

Provide feedback