Started 4 days 19 hr ago
Took 2 hr 4 min on research-jenkins-worker-08

Failed Build #14210 (May 14, 2019 7:54:33 AM)

PR #4776: [WIP] Refactor ID Serial 1:...
No changes.

GitHub pull request #4776 of commit a399403255c0e16ba55a23ee11d699c04c4c9053 automatically merged.

Revision: 21f18a6c5d88638a0af8cda91195545c627c2d7a
  • origin/pr/4776/merge