Started 1 yr 3 mo ago
Took 2 min 36 sec

Failed Build #78 (Oct 13, 2020 11:39:09 PM)

Changes
  1. fix style issues on the PR (details / githubweb)

Started by GitHub push by thivi

Revision: 7ff7d6ed8ddb35377b3defdd78249da97b6450d2
  • origin/master

Identified problems

No identified problem

No problems were identified. If you think this is a common failure pattern across multiple build jobs, inform build team to add a failure cause.