Started 7 days 13 hr ago
Took 3 hr 18 min on amp-jenkins-worker-04

Success Build #102143 (Feb 10, 2019 1:27:26 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)