Started 6 days 19 hr ago
Took 25 min on research-jenkins-worker-09

Failed Build #15217 (Jul 8, 2019 6:09:23 PM)

PR #5146: Make task result for Remove...
No changes.

GitHub pull request #5146 of commit 35dbca4a035344d9921f6a8b0a864f96da79fa14 automatically merged.