btashton commented on pull request #1160: URL: https://github.com/apache/incubator-nuttx/pull/1160#issuecomment-636548663
It might also be more appropriate to move the problem matcher files into the testing repo so that they are shared between the three repos, the downside would be that the repo is not included in the `check` build so it would have to be downloaded as well. ---------------------------------------------------------------- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. For queries about this service, please contact Infrastructure at: [email protected]
