We don't collect any code coverage metrics in CI, right? Is DO_COV stale?

Discovered while setting RUSTFLAGS in cargo commands and wondering the effect of clobbering the value already set with

if [ "$DO_COV" = true ]
then
    export RUSTFLAGS="-C link-dead-code"
fi