Started 11 days ago
Took 21 min on research-jenkins-worker-07

Failed Build #11740 (Feb 10, 2019 10:12:13 AM)

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

GitHub pull request #3985 of commit 14628a596caea9bfd3cb5014502c17ed342aded7 automatically merged.

Revision: 7011157ff03388f82595b9ba3d1c854047b90ad7
  • origin/pr/3985/merge