Skip to content

maint: forcefully remove files in coverage

Clara Engler requested to merge cve/arti:coverage-force into main

When performing the initial run of ./maint/coverage, it will report an error message to stderr, that several files cannot be deleted, due to their non-existence.

While the error is still ignored, I personally think that there is no benefit in showing it either, thereby surpressing it with this commit.

Beside this, this syntax might be easier to understand from a semantical point of view.

Merge request reports