Started 3 mo 19 days ago
Took 34 min on research-jenkins-worker-07

Success Build #839 (Jun 5, 2019 2:10:36 PM)

No changes.

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

  • GitHub pull request #501 of commit 4b6782de809bd4514fd19e796139be17472ce765 automatically merged.

Revision: d8942cdc7b3d31d97c8c2d194c1090fa330edc67
  • origin/pr/501/merge