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

Success Build #158 (Feb 10, 2020 2:17:02 PM)

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

GitHub pull request #148 of commit 53cfc29e770b34f05786c299d576d6432ebbf6a3 automatically merged.

Test Result (no failures)