From a52eab872982132c46b148906018eff77ec96fe0 Mon Sep 17 00:00:00 2001
From: Andre Anjos <andre.dos.anjos@gmail.com>
Date: Fri, 24 Apr 2020 13:09:07 +0200
Subject: [PATCH] [build] Exclude coverage.xml from cleanup
---
bob/devtools/build.py | 1 +
1 file changed, 1 insertion(+)
diff --git a/bob/devtools/build.py b/bob/devtools/build.py
index 70ee86ac..59aa728f 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
--
GitLab