See <https://builds.apache.org/job/NuttX-Nightly-Build/244/display/redirect>
- Build failed in Jenkins: NuttX-Nightly-Build #243 Apache Jenkins Server
- Re: Build failed in Jenkins: NuttX-Nightly-Buil... Brennan Ashton
- Jenkins build is back to normal : NuttX-Nightly... Apache Jenkins Server
