See <https://builds.apache.org/job/NuttX-Nightly-Build/96/display/redirect>
- Build failed in Jenkins: NuttX-Nightly-Build #86 Apache Jenkins Server
- Build failed in Jenkins: NuttX-Nightly-Build #87 Apache Jenkins Server
- Build failed in Jenkins: NuttX-Nightly-Build #88 Apache Jenkins Server
- Build failed in Jenkins: NuttX-Nightly-Build #89 Apache Jenkins Server
- Build failed in Jenkins: NuttX-Nightly-Build #90 Apache Jenkins Server
- Build failed in Jenkins: NuttX-Nightly-Build #91 Apache Jenkins Server
- Build failed in Jenkins: NuttX-Nightly-Build #92 Apache Jenkins Server
- Build failed in Jenkins: NuttX-Nightly-Build #93 Apache Jenkins Server
- Build failed in Jenkins: NuttX-Nightly-Build #94 Apache Jenkins Server
- Build failed in Jenkins: NuttX-Nightly-Build #95 Apache Jenkins Server
- Jenkins build is back to normal : NuttX-Nightly-Buil... Apache Jenkins Server
