Closed Cody-G closed 5 years ago
This is just a reminder that we're working around a bug in Coverage.jl by using an older version, and at some point when that's fixed we should upgrade. (see https://github.com/JuliaCI/Coverage.jl/issues/187)
This is just a reminder that we're working around a bug in Coverage.jl by using an older version, and at some point when that's fixed we should upgrade. (see https://github.com/JuliaCI/Coverage.jl/issues/187)