Disable cobertura due to huge artifacts
!724 (merged) unfortunately creates an enormous Cobertura report (coverage.xml
), which is OOMing gitlab/redis.
I'm disabling Cobertura until I find out how to trim that report to just the useful bits; I think it's including the coverage for all of Rust's standard library and all the dependencies.