It looks like GitHub's cache size was increased from 5gb to 10 gb as of November 23rd, so this PR is no longer necessary.
For perspective, caching is still kinda useless because a single Linux build currently generates a 4417MB cache while a MacOS build generates 2115MB so you'll only really be able to have a single PR in flight at a time, but it's better than nothing.
It looks like GitHub's cache size was increased from 5gb to 10 gb as of November 23rd, so this PR is no longer necessary.
For perspective, caching is still kinda useless because a single Linux build currently generates a 4417MB cache while a MacOS build generates 2115MB so you'll only really be able to have a single PR in flight at a time, but it's better than nothing.