diff --git a/bob/devtools/build.py b/bob/devtools/build.py index 70ee86acf8f27a4984f9b7e132a471ee749b318c..59aa728f96ae6fb123e5f938fc419e9c7fa038d5 100644 --- a/bob/devtools/build.py +++ b/bob/devtools/build.py @@ -534,6 +534,7 @@ def git_clean_build(runner, verbose): exclude_from_cleanup = [ "miniconda.sh", # the installer, cached "sphinx", # build artifact -- documentation + "coverage.xml", # build artifact -- coverage report ] # artifacts