Started 4 mo 11 days ago
Took 42 sec on research-jenkins-worker-08

Failed Build 2.7.5,2.11,2.3.3,ubuntu (May 13, 2019 5:53:15 PM)

No changes.

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

  • GitHub pull request #494 of commit 88fa02ddabeb8a52c0fe83db18f141e14c482b20 automatically merged.

Revision: 947143833269f805a6056320b28b14c521f11375
  • origin/pr/494/merge