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)
by moving the `codecov.yml` file from .github the root folder. --- #### PR checklist - [ ] Tests written/updated - [ ] Changelog entry added in `.changelog` (we use [unclog](https://github.com/informalsystems/unclog) to manage our changelog) - [ ] Updated relevant documentation (`docs/` or `spec/`) and code comments
- Loading branch information