Started 1 yr 9 mo ago
Took 4 min 1 sec on research-jenkins-worker-08

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

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

GitHub pull request #148 of commit 66957ed8162535a44657094f57276935d643f47c, no merge conflicts.

Test Result (no failures)