Started 8 mo 11 days ago
Took 4 min 16 sec on research-jenkins-worker-08

Success Build #160 (Feb 17, 2020 1:39:32 PM)

PR #156: Fix argument check
No changes.

GitHub pull request #156 of commit 777e9ba8f203388274d5a198e6b67880a9747393 automatically merged.

Test Result (no failures)