travis: no coverage report