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

Failed Build #14220 (May 14, 2019 8:38:52 PM)

PR #4787: (wip) [tune] Add API and ex...
No changes.

GitHub pull request #4787 of commit 2ed6019c8de09234bcb40bf5e92721d5de8868ee automatically merged.

Revision: d557a8e9ad8a0a46a2b5a7ee2ecdc0bbda73627a
  • origin/pr/4787/merge