[infra] Re-enable coverage #3177
Description
It's been down two days. We should disable it for now so that at least our CI is green again.
{{ message }}
It's been down two days. We should disable it for now so that at least our CI is green again.