Started 6 days 19 hr ago
Took 2 hr 9 min on research-jenkins-worker-08

Success Build #10708 (Jan 9, 2019 2:02:40 AM)

PR #3716: Support to auto-generate Ja...
No changes.

GitHub pull request #3716 of commit 91e05f88af301a13cb5ec2506557afb5097fdb36 automatically merged.

Revision: 6bdde9e3caa712dd738352c7b1832a35f8bf4b6e
  • origin/pr/3716/merge