Started 5 mo 0 days ago
Took 21 min on research-jenkins-worker-09

Success Build #986 (Aug 18, 2020 6:51:20 PM)

Changes
  1. rm copy over to same dest (details / githubweb)

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

  • GitHub pull request #559 of commit f0ef1ebbf7d79428e301dfea0c5cd5cf64624832, no merge conflicts.
Revision: 9dfd8aa6cd69d2c7e769c27c6c57ebd8738f0d61
  • origin/pr/559/merge