Started 3 days 13 hr ago
Took 6 hr 0 min on research-jenkins-worker-07

Aborted Build #29263 (Jul 31, 2020 8:04:39 PM)

PR #9856: Type check ObjectRef
No changes.

GitHub pull request #9856 of commit 0002504a2ee8868383ec0f53c04c4e820f286e68 automatically merged.