Started 6 mo 17 days ago
Took 24 min on research-jenkins-worker-07

Success Build #831 (May 9, 2019 12:03:15 PM)

No changes.

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

  • GitHub pull request #493 of commit 010dc3b142ce60c9a8fc9ec5c5450b78c2dbc4ea automatically merged.

Revision: 4a750c61a550f7972f8e8b47ca2682dbd2f86bdc
  • origin/pr/493/merge