Started 8 days 3 hr ago
Took 22 min on research-jenkins-worker-07

Failed Build #11789 (Feb 11, 2019 11:06:22 AM)

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

GitHub pull request #3985 of commit 7f20134e0f772dedaabe2f70834813bde664e0a6 automatically merged.

Revision: e9d2010e28e9bdebf42fe311f2a9fcd27a345df4
  • origin/pr/3985/merge