Started 6 days 2 hr ago
Took 23 min on research-jenkins-worker-07

Failed Build #11787 (Feb 11, 2019 10:53:15 AM)

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

GitHub pull request #3985 of commit b197e1311fa822e76b8c664570c66dd82fcc9573 automatically merged.

Revision: 0d5d9524ed0657a4f8220ddfcefdf5727e2b242c
  • origin/pr/3985/merge