Started 8 mo 18 days ago
Took 4 min 45 sec on research-jenkins-worker-08

Success Build #157 (Feb 10, 2020 1:37:12 PM)

PR #148: Create a build configuratio...
No changes.

GitHub pull request #148 of commit ee5f356593d5562e7a41e3e84ec822cfcaea2e8e automatically merged.

Test Result (no failures)