Advantages of Jenkins over Buildbot

​Jenkins and ​Buildbot are both continuous-integration servers. WebKit currently uses Buildbot at ​http://build.webkit.org/. This page lists some advantages switching to Jenkins would bring.

Annotating build failures

As described in ​bug 59527, we'd like to be able to annotate build failures to show whether someone is working on them. Jenkins's ​Claim plugin would let us do just that.