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