Added Coverage.jl hook