Started 5 days 0 hr ago
Took 3 hr 23 min on amp-jenkins-worker-04

Success Build #102160 (Feb 10, 2019 12:42:57 PM)

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

GitHub pull request #23757 of commit d9fcb66c9da66546a632d06ae35d06f998305306 automatically merged.

Revision: 947fe3988023e769b74929a891616f165f1096c4
  • origin/pr/23757/merge
Test Result (no failures)