From 50255e378fecb2dc28ff5dc3d164cc3ebc7c3b1f Mon Sep 17 00:00:00 2001
From: Paul Andrey <paul.andrey@inria.fr>
Date: Mon, 17 Jul 2023 11:27:58 +0200
Subject: [PATCH] Increase CI/CD coverage statistic precision.
---
scripts/run_tests.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/scripts/run_tests.sh b/scripts/run_tests.sh
index c962e8b6..9c8d6847 100644
--- a/scripts/run_tests.sh
+++ b/scripts/run_tests.sh
@@ -119,7 +119,7 @@ run_declearn_tests() {
run_commands "declearn test suite" "${commands[@]}"
status=$?
# Display and export the cumulated coverage.
- coverage report
+ coverage report --precision=2
coverage xml
# Return the success/failure status of tests.
return $status
--
GitLab