See <https://builds.apache.org/job/NuttX-Nightly-Build/170/display/redirect>
- Build failed in Jenkins: NuttX-Nightly-Build #169 Apache Jenkins Server
- RE: Build failed in Jenkins: NuttX-Nightly-Buil... Xiang Xiao
- Jenkins build is back to normal : NuttX-Nightly... Apache Jenkins Server
