Started 13 days ago
Took 26 min on ubuntu-testing

Failed Build #1558 (Jul 9, 2019 3:53:40 PM)

PR #5154: Add linting pre-push hook
No changes.

GitHub pull request #5154 of commit 82341528ce1882b05dc34ee24c7ce2c3d7837d23 automatically merged.