Started 3 mo 4 days ago
Took 20 min on research-jenkins-worker-08

Failed Build #785 (Nov 13, 2018 3:44:04 PM)

No changes.

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

  • GitHub pull request #466 of commit bef504c3892846c4ed0d22c85c542a7b899eff63 automatically merged.

Revision: 52720150547d4ec181765b04ddc318a1318346f8
  • origin/pr/466/merge