Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Use the right code coverage definitions (tendermint#352) (tendermint#354
) by moving the `codecov.yml` file from .github the root folder. --- #### PR checklist - [x] Tests written/updated - [x] Changelog entry added in `.changelog` (we use [unclog](https://github.com/informalsystems/unclog) to manage our changelog) - [x] Updated relevant documentation (`docs/` or `spec/`) and code comments (cherry picked from commit c906604) Co-authored-by: Lasaro <lasaro@informal.systems>
- Loading branch information