Started 12 days ago
Took 1 min 49 sec on research-jenkins-worker-09

Failed Build #7141 (Dec 3, 2019 1:40:28 PM)

PR #10513: Add CachingFileSystem
No changes.

GitHub pull request #10513 of commit 85e5dd92fbec7dbb47964140c7476a2cd99d0f42 automatically merged.

Revision: baf7a0efe8d81fcb2b5993e4ade9b6aa01eb68c7
  • origin/pr/10513/merge