Started 5 days 20 hr ago
Took 2 hr 39 min on research-jenkins-worker-08

Aborted Build #12801 (Mar 12, 2019 1:28:46 PM)

PR #4271: Added incremental testing b...
No changes.

GitHub pull request #4271 of commit 283bedf6a77b9b767230278276d892e43a19f2bd automatically merged.

Revision: ac05218778584e8fc2cde41dd7a215bb4143b8c1
  • origin/pr/4271/merge

Aborted by user rliaw