Open DanielVandH opened 3 weeks ago
We just need to entirely remove codecov, it's bad and broken. Not our connection to it, the service in general.
Oh really? What's wrong with it? I'll admit I've not looked much into it beyond just setting it up with my repos
It has a maximum number of times you're allowed to have a fork push to it, and we have enough PRs that we hit that almost every minute, and therefore every fork just crashes at codecov. If you check our tests you'll see we have a 80% false negative rate in the tests right now because of codecov or something insane like that. We're just going to remove it. They broke their service by putting that limit on there.
Interesting.. had no idea. Thanks for the info!
The codecov link (https://app.codecov.io/gh/JuliaSymbolics/Symbolics.jl) shows that the latest commit was https://github.com/JuliaSymbolics/Symbolics.jl/commit/79c4e920212b4f5f67cd22f65c85fc8eb23d9811 (4 months old) unless I'm reading it incorrectly.