Closed fingolfin closed 5 years ago
Uhh, OK... now I just hope it doesn't break... Any particular reason you don't want PRs to be tested? To me, that's one of the primary benefits of using a service like Travis.
No, actually, I am not sure why I disabled it. It is enabled now.
(Oh, and of course the Julia 1.0 and 1.1 builds will fail anyway, due to https://github.com/JuliaWeb/MbedTLS.jl/issues/193
Yeah, I just saw this :) However, your patch seems to be working OK, since the process to submit to Coverage and Coveralls was executed.
yeah, phew, that's a relief :) I am rather heavily depending on Travis double checking my PRs these days :)
It seems you disabled Travis for pull requests, so this won't get tested :-(