adding covertool and ci target