Started 10 days ago
Took 13 sec on research-jenkins-worker-09

Success Build #19424 (Nov 28, 2019 7:10:59 PM)

PR #26707: [WIP] Upgrade Mockito to 3.1.0
No changes.

GitHub pull request #26707 of commit b35a586b2714cc1db704c9b21e0440255fada8fd automatically merged.