Started 2 yr 5 mo ago
Took 1 min 24 sec on amp-jenkins-worker-01

Success Build #100 (Apr 28, 2016 5:22:11 PM)

PR #82: Changed Index to use Debrui...
No changes.

GitHub pull request #82 of commit f12e598ba97bed31e045047a0a6fec1639d01bf1 automatically merged.

This run spent:

  • 8.1 sec waiting in the queue;
  • 1 min 24 sec building on an executor;
  • 1 min 32 sec total from scheduled to completion.