Fix GitHub Actions for macOS #2767

Job	Run time
Analyse	37s
Hygiene	15s
Cygwin	7s
Build-macOS (4.14.1)	5m 19s
Build-Linux (4.08.1)	5m 23s
Test-macOS (4.14.1)	32m 3s
Build-Linux (4.09.1)	5m 30s
Build-Linux (4.10.2)	5m 22s
Build-Linux (4.11.2)	5m 22s
Build-Linux (4.12.1)	5m 48s
Build-Linux (4.13.1)	5m 32s
Build-Linux (5.0.0)	6m 19s
Build-Linux (5.1.1)	5m 39s
Build-Linux (4.14.1)	5m 25s
Build-Windows (x86_64-pc-cygwin, x86_64-pc-cygwin, 4.14.1)	47m 54s
Build-Windows (i686-w64-mingw32, x86_64-pc-cygwin, 4.14.1)	53m 34s
Build-Windows (x86_64-w64-mingw32, x86_64-pc-cygwin, 4.14.1)	54m 29s
Build-Windows (i686-pc-windows, x86_64-pc-cygwin, 4.14.1)	1h 0m 22s
Build-Windows (x86_64-pc-windows, x86_64-pc-cygwin, 4.14.1)	1h 1m 33s
Upgrade-macOS (4.14.1)	1m 39s
Solvers-macOS (z3, 4.14.1)	12m 33s
Solvers-macOS (0install, 4.14.1)	6m 46s
Cold-Linux	5m 30s
Solvers-Linux (z3, 4.14.1)	18m 41s
Upgrade-Linux (4.14.1)	1m 17s
Solvers-Linux (0install, 4.14.1)	7m 59s
Test-Linux (4.14.1)	19m 12s
	7h 20m 10s

Provide feedback