Started 1 day 19 hr ago
Took 2 min 26 sec on research-jenkins-worker-08

Failed Build #3741 (May 17, 2019 4:22:29 PM)

PR #9057: Add extended attributes to ...
No changes.

GitHub pull request #9057 of commit bd740ddfc1f161c45011d0020c1e6305a6398639 automatically merged.

Revision: 278d90f13febfd8fcb10b4e53dfdc1143c8109e3
  • origin/pr/9057/merge