CircleCI-based coveralls doesn't seem to work. We should move on to CoverAlls-GitHub. https://github.com/marketplace/actions/coveralls-github-action