btashton commented on issue #1745: URL: https://github.com/apache/incubator-nuttx/issues/1745#issuecomment-690026706
Hmm also strange because you can see the build on master that passed for this. I'm not sure how this PR would have passed both prior to merge and and then also on the build on master branch triggered by the merge. All the builds keep an artifact that is the source repos used for the build so I can take a look in the morning. ---------------------------------------------------------------- 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]
