Verify that the coverity badge says "passed" and not "failed" (SYS#6685).
<br>
<br>
<img src="https://scan.coverity.com/projects/7523/badge.svg">
<!-- Managed by Jenkins Job Builder -->