This was originally done for testing purposes, but after #126315 we now do testing through GitHub Actions and should be instead using the optimization setting chosen by the user.
This was originally done for testing purposes, but after #126315 we now do testing through GitHub Actions and should be instead using the optimization setting chosen by the user.