* Speed up the generation of coverage reports by using multiple cores. * Add codecov step to coverage workflow.