Started 8 days 8 hr ago
Took 2 hr 16 min on research-jenkins-worker-08

Success Build #11779 (Feb 11, 2019 6:35:40 AM)

PR #4016: .gitignore: Add vim swap files
No changes.

GitHub pull request #4016 of commit 6e7728ce4bca096001307e6f73901013cd4a26a1 automatically merged.