Started 13 days ago
Took 16 sec on research-jenkins-worker-09

Success Build #19515 (Dec 1, 2019 5:07:24 PM)

PR #26730: Document mergeSchema option...
No changes.

GitHub pull request #26730 of commit da50864e413059db768bfc138c7dd8f4011fcbbf automatically merged.