Use ferlores/coverify version until PR gets merged