Which workflow trigger runs a GitHub Actions workflow automatically whenever code is pushed to a specified branch?