See <https://jenkins.osmocom.org/jenkins/job/osmocom-coverity/1755/display/redirect?page=changes>
- Build failed in Jenkins: Coverity-Upload #1747 jenkins
- Build failed in Jenkins: Coverity-Upload #1748 jenkins
- Build failed in Jenkins: Coverity-Upload #1749 jenkins
- Build failed in Jenkins: Coverity-Upload #1750 jenkins
- Build failed in Jenkins: Coverity-Upload #1751 jenkins
- Build failed in Jenkins: Coverity-Upload #17... jenkins
- Build failed in Jenkins: Coverity-Upload... jenkins
- Build failed in Jenkins: Coverity-Up... jenkins
- Jenkins build is back to normal : Co... jenkins
