1
0

[MINOR] Rename broken codecov file (#3088)

- Stop polluting PRs with wrong coverage info
- Retaining the file, so someone can try digging in
This commit is contained in:
vinoth chandar
2021-06-15 18:05:50 -07:00
committed by GitHub
parent b8fe5b91d5
commit 910fe4842c