I have a system that builds for multiple different devices in a parallel pipeline. As we have added more devices it is maxing out the resources and we’ve had to split the build into multiple pipelines. Now it takes far too long to build all. Is there a way to add a checkbox (or similar) to my github pull request to specify which devices to build. I would want it to default to building all, but if I check only a few then this would affect which devices build. Currently I manually change the Jenkinsfile to specify which ones to build, but it would be much more ideal to not have to edit the code each time we test a change.