Merge pull request #1180 from fsharp/nightly #147

Job	Run time
Build on windows-latest for repo global.json	12m 57s
Build on windows-latest for 6.0	14m 28s
Build on windows-latest for 7.0	15m 7s
Build on windows-latest for 8.0	14m 3s
Build on macos-latest for repo global.json	14m 51s
Build on macos-latest for 6.0	14m 55s
Build on macos-latest for 7.0	19m 47s
Build on macos-latest for 8.0	16m 6s
Build on ubuntu-latest for repo global.json	9m 40s
Build on ubuntu-latest for 6.0	9m 38s
Build on ubuntu-latest for 7.0	10m 19s
Build on ubuntu-latest for 8.0	10m 48s
	2h 42m 39s

Provide feedback