Started 6 mo 0 days ago
Took 4 min 1 sec on research-jenkins-worker-08

Success Build #154 (Feb 10, 2020 11:21:24 AM)

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

GitHub pull request #148 of commit 66957ed8162535a44657094f57276935d643f47c automatically merged.

Test Result (no failures)