Started 10 mo 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, no merge conflicts.

Test Result (no failures)