On Wed, Mar 11, 2020 at 1:24 AM Gregory Nutt <spudan...@gmail.com> wrote: > > > >> It looks like there is a Jenkins plugin that allows the Github issue to be > > created relatively easily. I'd be happy to try and get this working if > > everyone agrees. > Just as a matter of practicality, it would be good to restrict to build > failures and not style check problems, at least for the time being. > Maybe later we could add style issues. When we get license checking > in place, the same would apply. We would also have to restrict this to > files that exist, not to files being added.
Only github precheck action do the style check, the nightly build just run full build test.
