Started 9 mo 10 days ago
Took 1 min 51 sec on research-jenkins-worker-08

Success Build #165 (Feb 26, 2020 8:07:23 AM)

PR #162: Remove -print-metrics argument
No changes.

GitHub pull request #162 of commit fa65231212838908a2c9203cdce3c6d608111d48, no merge conflicts.

Test Result (no failures)