Comment by dpkirchner

The /goal command does a pretty dang good job if you tell it what will satisfy the goal and optionally what will not. It will still eventually stop if it finds the problem impossible (I too wanted faster CI, it could only get to a few minutes slower than my demand.)