See <https://jenkins.osmocom.org/jenkins/job/osmocom-coverity/2117/display/redirect>
- Build failed in Jenkins: osmocom-coverity #2114 jenkins
- Build failed in Jenkins: osmocom-coverity #2115 jenkins
- Build failed in Jenkins: osmocom-coverity #2116 jenkins
- Jenkins build is back to normal : osmocom-coverity #2... jenkins
