Started 3 mo 6 days ago
Took 25 min on ubuntu-testing

Failed Build #1635 (Jul 11, 2019 7:26:39 PM)

PR #5118: Kill children of dead actor
No changes.

GitHub pull request #5118 of commit c52f6afbdd8177c02b6227d46b90fed7319f3608 automatically merged.