0x0f0f0f opened this issue 7 months ago · 1 comments
Shall we enable codecov? I don't see it around on PRs anymore