Started 5 mo 7 days ago
Took 19 min on research-jenkins-worker-09

Success Build #918 (Dec 27, 2019 4:20:49 PM)

No changes.

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

  • GitHub pull request #548 of commit 72b9a9b7701d75ff998970438b0c20310f652bab automatically merged.

Revision: 8bfc10dbc6abde34e538bee68c7ce0e985cebaa2
  • origin/pr/548/merge