Started 2 mo 18 days ago
Took 12 min on research-jenkins-worker-07

Failed Build #29722 (Aug 11, 2020 12:32:36 AM)

PR #10042: Generate *.pyi stubs for Py...
No changes.

GitHub pull request #10042 of commit 4d66834bd2deb8cd4534f1924641bc2eaf5f75f3 automatically merged.