Started 5 mo 14 days ago
Took 27 min on research-jenkins-worker-08

Failed Build #838 (Jun 3, 2019 9:21:08 AM)

No changes.

Started by upstream project mango-prb build number 838
originally caused by:

  • GitHub pull request #501 of commit 2b6f2cc58c5103c2d9a331f3af8727b50af8cc20 automatically merged.

Revision: 5cc349aa3f1a5f68f26cf9f654ac60e60ce00ca1
  • origin/pr/501/merge