How does coverage testing work on github?

A pull-request I posted on Github is showing unexpectedly low code coverage from the CI tool, and I’d like to check it locally. Could someone explain how Github’s coverage tool works? Is it based on Coverage.jl? Does it run the coverage checker in 0.6 or 0.7? If my code has a top-level construct of the form:

if VERSION >= v"0.7.0-DEV"
    <different definitions>

is there a way to make sure both branches undergo coverage testing?

1 Like

With the default Travis-CI configuration for Julia (generated by PkgDev.generate()), coverage results are uploaded using Coverage.jl like this: