mirror of https://github.com/citusdata/citus.git
The only reason for this upgrade is to see if it will fix codecov pushing the coverage many times to PRs, which is cluttering the PRs. The reason for this change is that it is possible that "pushing many times" is related to codecov internals so upgrading can help. |
||
---|---|---|
.. | ||
config.yml |