Started 2 days 4 hr ago
Took 5 min 27 sec

Failed Build #1637 (Nov 18, 2019 9:29:42 AM)

PR #4554: Only unblock a signal if it...

GitHub pull request #4554 of commit ce1511f8ae0e52a61ef85983ceeecad59b5178f4, no merge conflicts.