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

Failed Build #14287 (May 17, 2019 3:38:15 AM)

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

GitHub pull request #4776 of commit c337a3bfcf928b47c48b93d5cedf5b1a66f0d01c automatically merged.

Revision: 56ad8bffd5b2941bf5b9ed3426403ef625cbd585
  • origin/pr/4776/merge