We should remove the codecov/patch, which we ignore anyway, so that we can actually the CI result to decide whether or not we can merge a PR.