Revert "try to push code coverage on gh-pages..."

This reverts commit 4570822d99c74367f235a57d0f831b8c9884aa01.