More buildbot improvements

(Pablo Galindo Salgado) #1

There are two major buildbot improvements:

  1. Core devs and buildbot owners now can force builds on every builder. There is now a button in the builder page that you can click (after authenticating yourselves) to start a new build:

  1. The message posted on the Pull Request when the buildbot fails to build the commit has been improved a lot: