[Jenkins]Jenkins
Started 9 mo 7 days ago
Took 57 sec on research-jenkins-worker-09

Success Build #958 (Aug 11, 2020 12:01:03 PM)

No changes.

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

  • GitHub pull request #567 of commit 0016ad490f4b1ff3bdd0ed953e5a743f4f78cc05, no merge conflicts.
Revision: 1f95725147060cd6884972bfe24dd4423ea8fecc
  • origin/pr/567/merge