Closed elharo closed 3 years ago
@chanseokoh and get rid of codecov.io while we're at it. If we ever do anything in this repo, we'll have to set up github actions.
@chanseokoh and get rid of codecov.io while we're at it. If we ever do anything in this repo, we'll have to set up github actions.