diff --git a/scripts/dev/check_coverage.py b/scripts/dev/check_coverage.py
index b1c1f2cdb..65228a10e 100644
--- a/scripts/dev/check_coverage.py
+++ b/scripts/dev/check_coverage.py
@@ -203,7 +203,10 @@ def main_check():
     for msg in messages:
         print(msg.text)
 
-    os.remove('coverage.xml')
+    if 'CI' in os.environ:
+        print("Keeping coverage.xml on CI.")
+    else:
+        os.remove('coverage.xml')
     return 1 if messages else 0