Started 7 days 4 hr ago
Took 3 hr 0 min on research-jenkins-worker-07

Aborted Build #12919 (Mar 16, 2019 10:45:58 AM)

PR #4196: Signal actor failure
No changes.

GitHub pull request #4196 of commit 88b43f45f91eee6c9162c088b0b131b2e2a15503 automatically merged.