Started 8 mo 9 days ago
Took 4 min 3 sec on research-jenkins-worker-08

Success Build #152 (Jan 14, 2020 10:27:52 AM)

PR #147: Remove Jenkins badge
No changes.

GitHub pull request #147 of commit 481f7a641b14979b7ecc498dac2533ff279d88eb automatically merged.

Test Result (no failures)