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" <definitions> else <different definitions> end
is there a way to make sure both branches undergo coverage testing?