tox.ini: rename coverage file only if coverage is enabled (#22717)
This commit is contained in:
parent
d780a085a9
commit
3d69062edb
Loading…
Reference in New Issue