On 24/09/13 13:01, Jacob Carlborg wrote:
It's custom. I would guess it either uses a git hook or it uses some API provided by Github.
Ahh, OK. I was wondering if it used some standard tool to manage starting the test jobs and reporting back the tests -- something like Gerrit, Jenkins, etc. I don't have any personal experience of these so couldn't tell on the basis of the test website.
Thanks for the info! :-)
