<!--
Quick schedulers. Builds using these are triggered after each change to
the sources on the given branch.
<!--
Quick schedulers. Builds using these are triggered after each change to
the sources on the given branch.
treeStableTimer: wait until the tree has stopped changing for the
given number of seconds before firing
treeStableTimer: wait until the tree has stopped changing for the
given number of seconds before firing