Started 5 hr 7 min ago
Took 42 min on research-jenkins-worker-07

Failed Build #21080 (Jan 26, 2020 10:47:39 AM)

PR #6727: [WIP] Exploration API.
No changes.

GitHub pull request #6727 of commit 6a8989937b3a2d05000ddea16f6971dcef4b309a automatically merged.

Revision: 050bbc4ee7c4b7408442a1024ceb92c5aa4f0d78
  • origin/pr/6727/merge