Started 9 days 8 hr ago
Took 3 hr 0 min on research-jenkins-worker-08

Aborted Build #12872 (Mar 14, 2019 7:22:58 AM)

PR #4364: Fixed calculation of num_st...
No changes.

GitHub pull request #4364 of commit c73fe6f50309b1ee4a0500329093bd5bc67eded3 automatically merged.