This will presumably also push the coverage to Coveralls, since that should be set up. There is just no coverage data being generated yet (I think).