Started 6 days 7 hr ago
Took 5 hr 50 min on research-jenkins-worker-07

Aborted Build #15236 (Jul 9, 2019 5:15:29 AM)

PR #5110: [ID Refactor] Shorten the l...
No changes.

GitHub pull request #5110 of commit 95627dc06b1567632a6d98eabf0c27fe2ebed6f7 automatically merged.

Revision: 892798200d0fe8c31163af125723751f7b7f9cb4
  • origin/pr/5110/merge

Aborted by user sknapp