makefile: [ci] update cov handling