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 (#352) (#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 c90660422de9ec3b21e3dd4078ae6fc8b8ec4411) Co-authored-by: Lasaro <[email protected]>
- Loading branch information