Started 10 days ago
Took 3 hr 0 min on research-jenkins-worker-08

Aborted Build #12839 (Mar 13, 2019 12:35:00 AM)

PR #4354: Make global state disconnec...
No changes.

GitHub pull request #4354 of commit 849636cd4f9eab6b377633cd114d712dbbbdf540 automatically merged.