Started 6 days 2 hr ago
Took 22 min on research-jenkins-worker-09

Success Build #7123 (Dec 3, 2019 10:03:57 AM)

PR #10556: [DOCS] Modify metric system...
Build Artifacts
Expand all Collapse all
No changes.

GitHub pull request #10556 of commit 288998160c54eb5e72e0425d54bbf9fb5ee2073f automatically merged.