Started 9 days 4 hr ago
Took 1 hr 11 min on research-jenkins-worker-08

Failed Build #14292 (May 17, 2019 8:21:54 AM)

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

GitHub pull request #4776 of commit 3fea036bf0bf355f8a79965515323a673f3cbc2e automatically merged.

Revision: 9171bcb246bedae76c610013ba1ee77391de8a17
  • origin/pr/4776/merge