Only run coverity on development