Started 3 days 15 hr ago
Took 9 min 54 sec on research-jenkins-worker-08

Failed Build #10792 (Jan 12, 2019 6:06:36 AM)

PR #3541: WIP: Migrate Python C exten...
No changes.

GitHub pull request #3541 of commit f6b056c84404cd0573004755b97f2ab7ff6ff0db automatically merged.