btashton commented on pull request #1728: URL: https://github.com/apache/incubator-nuttx/pull/1728#issuecomment-693640873
This breakage was minor see #1807 for fix. To be clear the CI failure in the PR was due to this, it just was confusing because all arch were failing because config failed but the build pushed on to the build phase with an invalid configuration ---------------------------------------------------------------- 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: us...@infra.apache.org
