Started 10 mo ago
Took 4.2 sec on research-jenkins-worker-08

Failed Build #613 (Mar 16, 2019 3:10:41 PM)

PR #496: Refactor and rename files t...
No changes.

GitHub pull request #496 of commit e0be6ae4469e936b91e8a45797f32b59e25b6779 automatically merged.