The GitHub Actions runs on master seem to have run into the PHP memory limit recently, especially when using PHP on Windows. We should simply increase the memory limit to a higher value for now.