Started 10 mo ago
Took 23 min on research-jenkins-worker-09

Success Build #912 (Nov 19, 2019 1:33:40 PM)

No changes.

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

  • GitHub pull request #536 of commit 76587d4ff6f4de3d8e0b50253a3dfc9ec6739eaf automatically merged.

Revision: 3f214f621480c16f7b757202e536e3bab678cb2d
  • origin/pr/536/merge