Disable CodeCov #226
Description
CodeCov dropped support for tokenless runs in version 4, so all builds are currently broken.
While it appears that PR runs on GitHub should probably continue to work tokenless, this is not the case. Hence, we should disable CodeCov for the moment.