Started 2 mo 3 days ago
Took 42 sec on research-jenkins-worker-08

Failed Build #835 (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