Started 6 days 17 hr ago
Took 3 hr 17 min on amp-jenkins-worker-02

Success Build #102145 (Feb 10, 2019 2:03:49 AM)

PR #23757: [DO-NOT-MERGE][SQL][BRANCH-...
No changes.

GitHub pull request #23757 of commit e08bf2e2ea21aa9ce37191fad41877bee0ead1c6 automatically merged.

Revision: 33572674f14e426b83f0ad2d3229deca7c56dcd4
  • origin/pr/23757/merge
Test Result (no failures)