Started 16 days ago
Took 26 min on research-jenkins-worker-08

Success Build #913 (Nov 28, 2019 10:32:44 AM)

No changes.

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

  • GitHub pull request #545 of commit 5cafd9dba94c007bfe9cca534eb8522278a5d656 automatically merged.

Revision: bd2fcf74a80c97ab2f534fa4f6e0a41247a837da
  • origin/pr/545/merge