Added Coverity status [ci skip]