See <https://builds.apache.org/job/NuttX-Nightly-Build/256/display/redirect>
- Build failed in Jenkins: NuttX-Nightly-Build #253 Apache Jenkins Server
- Build failed in Jenkins: NuttX-Nightly-Build #2... Apache Jenkins Server
- Build failed in Jenkins: NuttX-Nightly-Buil... Apache Jenkins Server
- Jenkins build is back to normal : NuttX... Apache Jenkins Server
