Make it possible to increase the priority for manually triggered builds without temporary changing this in the basic settings, for instance by making "Priority" scriptable.
Description
Make it possible to increase the priority for manually triggered builds without temporary changing this in the basic settings, for instance by making "Priority" scriptable.