Started 3 yr 2 mo ago
Took 11 min on amp-jenkins-worker-05

Success Build #3 (May 12, 2015 11:30:33 AM)

PR #12: Better default settings for...
No changes.

GitHub pull request #12 of commit 15afb6faa9e79c8a6968fc55eee49a5c55cc845f automatically merged.

This run spent:

  • 8.2 sec waiting in the queue;
  • 11 min building on an executor;
  • 11 min total from scheduled to completion.