Started 1 yr 5 mo ago
Took 1 min 51 sec on research-jenkins-worker-08

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)