Give the user a hint when a tree is out of date. Cobwebs in the Switch Tree menu, a box atop the content pane, red/green dots, etc.--figure out what's best. Better still, link to the broken Jenkins build's console so they know why it's broken. What's considered "out of date" should probably be configurable, since we'll want to build enormous trees like addons less frequently.
You need to log in before you can comment on or make changes to this bug.