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

Failed Build #14280 (May 16, 2019 9:04:05 PM)

PR #4776: Refactor ID Serial 1: Separ...
No changes.

GitHub pull request #4776 of commit fe7edd707f55d9ac5d1d2a9ec02149ef7edceabb automatically merged.

Revision: 2335c58013bcdacc3e45d580230580d923b064c0
  • origin/pr/4776/merge