Coverage is broken

The recent changes to the CI configuration have broken the coverage recovery and as a consequence the pages deployment.