Started 8 days 5 hr ago
Took 3 hr 0 min on research-jenkins-worker-07

Aborted Build #12894 (Mar 15, 2019 10:10:00 AM)

PR #4354: Fix global_state not disco...
No changes.

GitHub pull request #4354 of commit 2ae16bd391ed5713400e56d83f5e5732ebfc7b93 automatically merged.