I think that we should drop codecov here, possibly in favor of codeql
I think that we should drop codecov here, possibly in favor of codeql