Started 1 mo 15 days ago
Took 21 min on research-jenkins-worker-09

Failed Build 2.7.5,2.11,2.4.5,ubuntu (May 25, 2020 11:29:59 AM)

Changes
  1. fixed type in makefile (detail / githubweb)

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

  • GitHub pull request #559 of commit 7348cbc0b9f25e6e7a9ed08e16c534993a7bf3f9 automatically merged.

Revision: f0d3c36534d6ec292caeb3bb9b825e84979e5cec
  • origin/pr/559/merge