Skip to content

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.

Merge request reports