Started 5 days 18 hr ago
Took 3 hr 0 min on amp-jenkins-staging-worker-02

Aborted Build #11814 (Feb 11, 2019 7:33:10 PM)

PR #3985: [tune] Add Nevergrad to Tune
No changes.

GitHub pull request #3985 of commit 1b7a2c7c198b1e8d066ae1efaf33670a047967a7 automatically merged.

Revision: db754acc9e800c6f812271302bbe415ab1010d1b
  • origin/pr/3985/merge