Started 5 mo 12 days ago
Took 3 min 46 sec on research-jenkins-worker-07

Failed Build #81 (Jun 30, 2019 11:41:50 PM)

PR #77: Add more complicated tests[...
No changes.

GitHub pull request #77 of commit a35d85769a78f4049e3f961812864b80aa0256de automatically merged.